Your message dated Sun, 20 Aug 2017 10:56:40 +0530
with message-id <803e3f56.AEMAOtK6FEoAAAAAAAAAAAPkTHUAAAACwQwAAAAAAAW9WABZmR2d@mailjet.com>
and subject line Re: [bug#28135] [PATCH 1/2] gnu: Add libinfinity.
has caused the debbugs.gnu.org bug report #28135,
regarding Updating gobby
to be marked as done.

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


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