Re: [PATCH] maint: update help2man to 1.43.3

[Jim Meyering]

On Wed, Sep 11, 2013 at 11:06 PM, Bernhard Voelker
<m...@bernhard-voelker.de> wrote:
...
> Thanks, pushed:
> http://git.sv.gnu.org/cgit/coreutils.git/commit/?id=321933e1

Thanks!