Your message dated Sun, 13 Aug 2017 00:21:03 -0700
with message-id <2ad20ed4-97aa-0823-81af-5757bf0f3033@cs.ucla.edu>
and subject line Re: bug#28023: fix make-temp-file race on local host
has caused the debbugs.gnu.org bug report #28023,
regarding fix make-temp-file race on local host
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
28023: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=28023
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems