bug#66404: closed ([PATCH] Use delete-all-overlays in clean-mode)

[GNU bug Tracking System]

Your message dated Sun, 08 Oct 2023 13:54:09 -0700
with message-id <875y3gu93p.fsf@breatheoutbreathe.in>
and subject line Re: bug#66404: [PATCH] Use delete-all-overlays in clean-mode
has caused the debbugs.gnu.org bug report #66404,
regarding [PATCH] Use delete-all-overlays in clean-mode
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
66404: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=66404
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: [PATCH] Use delete-all-overlays in clean-mode Date: Sun, 08 Oct 2023 02:58:45 -0700

Tags: patch

Is there a reason to use dolist instead of delete-all-overlays?

0001-Use-delete-all-overlays-in-clean-mode.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#66404: [PATCH] Use delete-all-overlays in clean-mode
>
>
>
>
> Date: 
>
> Sun, 08 Oct 2023 13:54:09 -0700
>
>
>
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> >> From: Joseph Turner <joseph@breatheoutbreathe.in>
> >>
> >> (Is there a way for me to close my own issues?)
> >
> > Yes, see admin/notes/bugtracker.
>
> Thank you!! I was not aware of this.
>
> Stefan: Please consider mentioning admin/notes/bugtracker in your talk.
>
> Joseph
>
>
> --- End Message ---