Your message dated Tue, 24 Mar 2020 11:57:57 +0100
with message-id <87wo7aj9ze.fsf@yamatai>
and subject line Re: [bug#38178] [WIP v2] gnu: Add grass.
has caused the debbugs.gnu.org bug report #38178,
regarding [WIP] gnu: Add grass.
to be marked as done.

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


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