On 04/22/2016 06:46 AM, Thomas Klausner wrote:
Thanks. I don't see the commit onhttp://git.savannah.gnu.org/cgit/automake.git yet though?
http://git.savannah.gnu.org/cgit/automake.git/log/?h=micro
We can also close my bug report 21219 (https://debbugs.gnu.org/cgi/bugreport.cgi?bug=21219). Thomas
OK, done.