On 3/18/20 10:34 AM, Richard Biener wrote:
Yes, we don't really bump everytime we change something.

Fine, then please forget about the patch.

Martin

Reply via email to