Your message dated Wed, 25 Jul 2018 00:30:43 +0200
with message-id <20180725003043.6087da79@lepiller.eu>
and subject line Re: [bug#32231] [PATCH 0/8] Tomcat related updates
has caused the debbugs.gnu.org bug report #32231,
regarding [PATCH 0/8] Tomcat related updates
to be marked as done.

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


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