Your message dated Sat, 22 Dec 2018 23:26:27 -0800 with message-id and subject line Re: bug#33842: [PATCH] build: avoid build failure with --enable-gcc-warnings and latest gcc has caused the debbugs.gnu.org bug report #33842, regarding [PATCH] build: avoid build failure with --enable-gcc-warnings and latest gcc to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 33842: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=33842 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems