|
From: | GNU bug Tracking System |
Subject: | [debbugs-tracker] bug#22041: closed (head and tail's man pages should mutually SEE ALSO) |
Date: | Sun, 29 Nov 2015 21:09:01 +0000 |
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 ---
[Prev in Thread] | Current Thread | [Next in Thread] |