[debbugs-tracker] bug#22041: closed (head and tail's man pages should mutually SEE ALSO)

[GNU bug Tracking System]

Your message dated Sun, 29 Nov 2015 22:08:11 +0100
with message-id <address@hidden>
and subject line Re: bug#22041: head and tail's man pages should mutually SEE 
ALSO
has caused the debbugs.gnu.org bug report #22041,
regarding head and tail's man pages should mutually SEE ALSO
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
22041: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=22041
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> head and tail's man pages should mutually SEE ALSO
>
>
>
>
> Date: 
>
> Sun, 29 Nov 2015 03:54:55 +0800
>
>
>
>
> Shouldn't head and tail's man pages mutually SEE ALSO?
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#22041: head and tail's man pages should mutually SEE ALSO
>
>
>
>
> Date: 
>
> Sun, 29 Nov 2015 22:08:11 +0100
>
>
>
>
> User-agent: 
>
> Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.3.0
>
>
>
>
> On 11/28/2015 09:16 PM, Bernhard Voelker wrote:
> > On 11/28/2015 08:54 PM, Dan Jacobson wrote:
> >> Shouldn't head and tail's man pages mutually SEE ALSO?
> > 
> > Thanks.
> > Good idea - the following patch does that.
>
> Pushed at:
>   http://git.sv.gnu.org/cgit/coreutils.git/commit/?id=79c5b8f
>
> Marking this bug as done.
>
> Have a nice day,
> Berny
>
>
> --- End Message ---