Thanks for the review. Pushed.
- [PATCH] maint: autotools-install: update tool version numbe... Jim Meyering
- Re: [PATCH] maint: autotools-install: update tool vers... Pádraig Brady
- Re: [PATCH] maint: autotools-install: update tool ... Jim Meyering
Thanks for the review. Pushed.