tags 7893 wontfix severity 7893 minor close 7893 thanks On 12/28/2011 09:27 PM, Paul Eggert wrote: > That issue is now documented in the INSTALL file, as well > as in the Autoconf manual. Here's the relevant commit: > > http://git.savannah.gnu.org/gitweb/?p=autoconf.git;a=commitdiff;h=2d082fa1ca25a16b60fb874e80f51ee79408e1f4 > > Oops, sorry I missed that! My bad. Closing this bug report now.
Thanks, Stefano
