Your message dated Sun, 12 Feb 2023 08:54:34 +0100 with message-id <036dd417e4ec72e1c36e99876e7bf3bfd21baad4.camel@gmail.com> and subject line Re: [PATCH 5/5] gnu: Add esmini. has caused the debbugs.gnu.org bug report #59800, regarding [PATCH 0/5] Add esmini to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 59800: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=59800 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems