Your message dated Thu, 30 Jan 2020 22:59:29 +0200
with message-id <20200130205929.GC9517@E5400>
and subject line Re: [bug#38900] [PATCH v2] gnu: Add ghc-scalpel.
has caused the debbugs.gnu.org bug report #38900,
regarding [PATCH] gnu: Add ghc-scalpel.
to be marked as done.

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


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