On Thu, Jun 20, 2019 at 09:48:25AM +0100, Jorge Gustavo Rocha wrote:
> Both patches works and fixes the problem, but this one is compiler
> independent.
>
> If this can be back ported, it would be perfect!
Thanks for testing. It seems to me that the current behavior is just
annoying, so there is a good argument for back-patching. Now it is
true that we have had few complaints on the matter over the years, and
usually in those cases we bother only about HEAD. I would still do a
back-patch in this case. Any Thoughts from others?
--
Michael