Your message dated Sat, 8 Feb 2025 13:31:34 +0000 with message-id and subject line Re: bug#76142: [PATCH] Eglot: do not activate unsupported menu items has caused the debbugs.gnu.org bug report #76142, regarding [PATCH] Eglot: do not activate unsupported menu items to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 76142: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=76142 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems