Your message dated Fri, 28 Feb 2025 18:34:00 -0800 with message-id and subject line Re: bug#70791: 30.0.50; edebug-remove-instrumentation doesn't see instrumented functions has caused the debbugs.gnu.org bug report #70791, regarding 30.0.50; edebug-remove-instrumentation doesn't see instrumented functions to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 70791: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=70791 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems