Your message dated Wed, 30 Nov 2022 09:34:45 -0800 with message-id and subject line Re: bug#59137: [PATCH] To minor changes related to overlays has caused the debbugs.gnu.org bug report #59137, regarding [PATCH] To minor changes related to overlays to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 59137: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=59137 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems