Your message dated Wed, 04 Sep 2019 17:05:13 +0200 with message-id <87d0ggrtjq.fsf@yamatai> and subject line Re: [PATCH] gnu: monero-gui: Update to 0.14.1.2. has caused the debbugs.gnu.org bug report #37206, regarding [PATCH] gnu: monero-gui: Update to 0.14.1.2. to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 37206: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=37206 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems