On Wed, Oct 26, 2016 at 5:37 PM, Jim Meyering <j...@meyering.net> wrote: > On Wed, Oct 26, 2016 at 5:21 PM, Paul Eggert <egg...@cs.ucla.edu> wrote: >> Ha! And I was just last week defending HP-UX as still being a relevant >> platform for GNU applications! See: >> >> http://lists.gnu.org/archive/html/bug-gnulib/2016-10/msg00116.html >> >> Anyway, thanks for the port to HP-UX. I installed the attached patch into >> Gnulib and it should appear in the next grep release, so I am somewhat >> boldly marking this bug as done. > > Nice. Thank you both!
I've just pushed the gnulib-updating commit, then realized that this merits a NEWS entry, so wrote/pushed that, too.