Your message dated Tue, 16 Jan 2018 00:03:49 -0800 with message-id <87h8rmjkm2.fsf@gmail.com> and subject line Re: [bug#29891] [PATCH] gnu: java-classpathx-servletapi: Update to 3.0.1. has caused the debbugs.gnu.org bug report #29891, regarding [PATCH core-updates] gnu: java-classpathx-servletapi: Update to 3.0-r1244. to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 29891: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=29891 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems