Your message dated Thu, 17 May 2018 10:50:45 +0200
with message-id <87po1u4qe2.fsf@gnu.org>
and subject line Re: [bug#31458] [PATCH] union: Do not warn about harmless collissions.
has caused the debbugs.gnu.org bug report #31458,
regarding [PATCH] union: Do not warn about harmless collissions.
to be marked as done.

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


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