Subject: Re: FYI: update to latest help2man

From: Jim Meyering <[email-masked]>
Date: Mon, 23 Mar 2020 22:42:16 -0700

On Mon, Mar 23, 2020 at 6:33 PM Jim Meyering <[email-masked]> wrote:
> I'm about to push this:

Assaf noticed this: (thanks!)

> perhaps mention and close this?
>    https://debbugs.gnu.org/30471

So I'll close via this message and have adjusted the commit log.
I've just pushed it.
Thanks again!