I made a branch with that wording (the patch no longer applied) and proposed it for merge. Let's see if that helps :)
I made a branch with that wording (the patch no longer applied) and proposed it for merge. Let's see if that helps :)