Your message dated Mon, 4 Feb 2019 22:12:24 +0100
with message-id <20190204221224.40fd0924@lepiller.eu>
and subject line Re: [bug#34265] [PATCH 2/9] gnu: sexplib0: Update to 0.12-preview.120.18+252.
has caused the debbugs.gnu.org bug report #34265,
regarding [PATCH 1/9] gnu: dune: Update to 1.6.3.
to be marked as done.

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


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