On 02/11/2013 07:29 AM, Bernhard Voelker wrote:
> On 02/11/2013 02:42 AM, Pádraig Brady wrote:
>> On 02/10/2013 10:11 PM, Bernhard Voelker wrote:
>>> I'll push tomorrow unless I receive further comments.
>>
>> +1
>
> Thanks, pushed:
> http://git.sv.gnu.org/cgit/coreutils.git/commit/?id=b5f45b64

Actually I noticed a small issue with man page formatting,
which I addressed with the attached.

thanks,
Pádraig.