Your message dated Tue, 10 Dec 2019 17:31:29 +0100
with message-id <2b8d16dd-7632-29ae-3163-3cfd7cd6dad0@crazy-compilers.com>
and subject line Pushed: Add 36 KDE games.
has caused the debbugs.gnu.org bug report #38386,
regarding [PATCH 00/38] Add 36 KDE games.
to be marked as done.

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


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