Your message dated Sun, 27 Jan 2013 09:15:45 +0200 with message-id <831ud7jdum.fsf@gnu.org> and subject line Re: bug#13553: 24.3.50; incorrect usage of IS_DIRECTORY_SEP has caused the debbugs.gnu.org bug report #13553, regarding 24.3.50; incorrect usage of IS_DIRECTORY_SEP to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 13553: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=13553 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems