Your message dated Fri, 1 Mar 2019 21:56:49 +0100
with message-id <20190301215649.03aee8c9@lepiller.eu>
and subject line Re: [bug#34701] [PATCH] gnu: update coq-flocq to 3.1.0 and coq-interval to 3.4.0
has caused the debbugs.gnu.org bug report #34701,
regarding [PATCH] gnu: update coq-flocq to 3.1.0 and coq-interval to 3.4.0
to be marked as done.

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


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