Paul Eggert Sat, 01 Aug 2015 23:43:52 -0700
Thanks, I installed that in Gnulib, with a ChangeLog entry.
