Your message dated Thu, 28 Sep 2017 12:48:33 +0200
with message-id <1487547222.19579.1506595716584.JavaMail.sas@[172.25.241.138]>
and subject line Re: [bug#28606] [PATCH] gnu: Add dino.
has caused the debbugs.gnu.org bug report #28606,
regarding [PATCH] gnu: Add dino.
to be marked as done.

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


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