Your message dated Tue, 11 Mar 2025 19:51:44 +0100 with message-id <87bju7tn7j.fsf_-_@web.de> and subject line Re: bug#76730: 29.3; gv-define-setter defect, [PATCH] Fix overlay-start and overlay-end gv setters has caused the debbugs.gnu.org bug report #76730, regarding 29.3; gv-define-setter defect to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 76730: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=76730 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems