Jim Meyering <j...@meyering.net> writes: > On Thu, Nov 23, 2017 at 3:57 PM, Mathieu Lirzin <m...@gnu.org> wrote: >> >> Jim Meyering <j...@meyering.net> writes: >> >>> Pushed to the micro branch: >>> >>> https://git.savannah.gnu.org/cgit/automake.git/commit/?h=micro&id=9182df7e4810a411147d523de8cd141e749c5e39 >> >> With the "recent" change in Automake branch naming scheme, 'master' >> seems a better fit for this: >> >> https://lists.gnu.org/archive/html/bug-automake/2017-09/msg00015.html >> >> Thanks. > > Hi Mathieu, > Happy to adjust. Would you prefer that I merge micro into master, > then... or something else? Then delete micro? When I noticed that I'd > created that branch (after reading the description in HACKING), I > figured I'd missed something.
Indeed HACKING is not up-to-date, I will fix that. Cherry-picking the commit and deleting 'micro' would be nice. Moreover I think it worths adding a NEWS entry for this bug fix, if you agree please add it. :-) The fix will be released in 1.16. I was planning to make this release by the end of the year, but given that I am quite busy at the university I think i won't be able to make it before January/February. Thanks for fixing this issue. -- Mathieu Lirzin GPG: F2A3 8D7E EB2B 6640 5761 070D 0ADE E100 9460 4D37