Your message dated Fri, 12 Apr 2013 19:18:49 +0100 with message-id <51685009.3000409@draigBrady.com> and subject line Re: bug#13530: head: memory exhausted when printing all from stdin but last P/E bytes has caused the debbugs.gnu.org bug report #13530, regarding head: memory exhausted when printing all from stdin but last P/E bytes to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 13530: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=13530 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems