bug#56502: closed (Lucid ghosts)

[GNU bug Tracking System]

Your message dated Tue, 12 Jul 2022 09:37:50 +0000
with message-id <Ys1A7uv0pCoaVzzu@ACM>
and subject line Re: bug#56502: Acknowledgement (Lucid ghosts)
has caused the debbugs.gnu.org bug report #56502,
regarding Lucid ghosts
to be marked as done.

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


-- 
56502: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=56502
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> Lucid ghosts
>
>
>
>
> Date: 
>
> Mon, 11 Jul 2022 20:37:45 +0000
>
>
>
>
> Hello, Emacs.
>
> While checking for Lisp hooks in the display engine, I came across some
> unused variables with "lucid" in their names, namely
> Vlucid_menu_bar_dirty_flag and Qrecompute_lucid_menubar.  These could
> surely now be removed from Emacs, saving a small amount of space and
> execution time.
>
> A grep through the project's sources suggests there are other ghosts with
> "lucid", and these could probably also be removed.
>
> -- 
> Alan Mackenzie (Nuremberg, Germany).
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#56502: Acknowledgement (Lucid ghosts)
>
>
>
>
> Date: 
>
> Tue, 12 Jul 2022 09:37:50 +0000
>
>
>
>
> Bug fixed.
>
> -- 
> Alan Mackenzie (Nuremberg, Germany).
>
> On Mon, Jul 11, 2022 at 20:38:02 +0000, GNU bug Tracking System wrote:
> > Thank you for filing a new bug report with debbugs.gnu.org.
>
> > This is an automatically generated reply to let you know your message
> > has been received.
>
> > Your message is being forwarded to the package maintainers and other
> > interested parties for their attention; they will reply in due course.
>
> > Your message has been sent to the package maintainer(s):
> >  bug-gnu-emacs@gnu.org
>
> > If you wish to submit further information on this problem, please
> > send it to 56502@debbugs.gnu.org.
>
> > Please do not send mail to help-debbugs@gnu.org unless you wish
> > to report a problem with the Bug-tracking system.
>
> > -- 
> > 56502: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=56502
> > GNU Bug Tracking System
> > Contact help-debbugs@gnu.org with problems
>
>
> --- End Message ---