Your message dated Tue, 05 Jun 2012 22:35:13 +0200 with message-id <87haup5wfy.fsf@rho.meyering.net> and subject line Re: bug#11631: Head command does not position file pointer correctly for negative line count has caused the debbugs.gnu.org bug report #11631, regarding Head command does not position file pointer correctly for negative line count to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 11631: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=11631 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems