Your message dated Wed, 22 Feb 2023 21:43:35 +0100 with message-id <20230222214335.5bbc3526@sybil.lepiller.eu> and subject line Re: [bug#61607] [PATCH] gnu: josm: Update to 18646. has caused the debbugs.gnu.org bug report #61607, regarding [PATCH] gnu: josm: Update to 18646. to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 61607: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=61607 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems