Your message dated Mon, 10 Aug 2020 22:29:39 +0200
with message-id <49ef9e90-a019-f2a6-3308-7e83ade160f9@bernhard-voelker.de>
and subject line Re: bug#42633: 8.32 make check as root failure of rmdir/ignore.sh
has caused the debbugs.gnu.org bug report #42633,
regarding 8.32 make check as root failure of rmdir/ignore.sh
to be marked as done.

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


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