Your message dated Thu, 6 Aug 2020 12:20:30 +0300 with message-id <20200806092030.GC2042@E5400> and subject line Re: [bug#42724] [PATCH] gnu: neovim: Update to 0.4.0 has caused the debbugs.gnu.org bug report #42724, regarding [PATCH] gnu: neovim: Update to 0.4.0 to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 42724: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=42724 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems