Your message dated Sat, 2 Jul 2011 03:47:18 +0200 with message-id and subject line Re: bug#4823: w32 paths `substitute-in-file-name' fails when environmental variable is set for \\ style paths: has caused the GNU bug report #4823, regarding w32 paths `substitute-in-file-name' fails when environmental variable is set for \\ style paths: to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 4823: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=4823 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems