Your message dated Tue, 08 May 2018 16:38:54 +0530 with message-id and subject line Re: [bug#31375] [PATCH 0/2] Update wesnoth to 1.14.0 has caused the debbugs.gnu.org bug report #31375, regarding [PATCH 0/2] Update wesnoth to 1.14.0 to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 31375: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=31375 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems