Your message dated Thu, 14 Oct 2010 11:37:17 +0200 with message-id <87tykpqfn6.fsf@meyering.net> and subject line Re: bug#7213: [PATCH] sort: fix buffer overrun on 32-bit hosts when warning re obsolete keys has caused the GNU bug report #7213, regarding [PATCH] sort: fix buffer overrun on 32-bit hosts when warning re obsolete keys to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 7213: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=7213 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems