Thank you, and thank you for the patch! I applied and will submit.
I think you are right that we should formalize on one of the phrasings. I suspect the other phrasing is better, but I'm not going to investigate that now.
« Back to merge proposal
Thank you, and thank you for the patch! I applied and will submit.
I think you are right that we should formalize on one of the phrasings. I suspect the other phrasing is better, but I'm not going to investigate that now.