Update of sr#110713 (group autoconf):
Status: Confirmed => Done
Open/Closed: Open => Closed
_______________________________________________________
Follow-up Comment #4:
Committed now with a slight revision:
https://git.savannah.gnu.org/cgit/autoconf.git/commit/?id=ba719bedba517b501473b3d86af5202f379fced8
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/support/?110713>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/