Your message dated Mon, 12 Feb 2018 16:27:01 +0100
with message-id <bbc5d8bc-38b9-4aee-cd22-fcf9f7d24032@crazy-compilers.com>
and subject line Re: [bug#30374] [PATCH] gnu: Add kirigami.
has caused the debbugs.gnu.org bug report #30374,
regarding [PATCH] gnu: Add kirigami.
to be marked as done.

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


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