tags 32796 fixed close 32796 stop On 2018-10-08 12:27 a.m., Paul Eggert wrote:
Thanks for checking. I installed the attached into Gnulib master. The "(tiny change)" is because the patch is small enough that we don't need to worry about copyright papers.
Pushed here: https://git.savannah.gnu.org/cgit/gnulib.git/commit/?id=c50cf67bd7ff70525f3cb4074f0d9cc1f5c6cf9c Closing as "fixed". -assaf
