[debbugs-tracker] bug#36460: closed ([PATCH] Mark unused variable bookmark-quit-flag obsolete)

[GNU bug Tracking System]

Your message dated Sat, 06 Jul 2019 11:53:42 +0300
with message-id <address@hidden>
and subject line Re: bug#36460: [PATCH] Mark unused variable bookmark-quit-flag 
obsolete
has caused the debbugs.gnu.org bug report #36460,
regarding [PATCH] Mark unused variable bookmark-quit-flag obsolete
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
36460: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=36460
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: [PATCH] Mark unused variable bookmark-quit-flag obsolete Date: Mon, 1 Jul 2019 20:06:55 +0200

Small patch to mark an unused variable obsolete.  Should probably have
been marked as such already in commit d83ef97.

Thanks,
Stefan Kangas

0001-lisp-bookmark.el-bookmark-quit-flag-Mark-unused-vari.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#36460: [PATCH] Mark unused variable bookmark-quit-flag obsolete
>
>
>
>
> Date: 
>
> Sat, 06 Jul 2019 11:53:42 +0300
>
>
>
>
> > From: Stefan Kangas <address@hidden>
> > Date: Mon, 1 Jul 2019 20:06:55 +0200
> > 
> > Small patch to mark an unused variable obsolete.  Should probably have
> > been marked as such already in commit d83ef97.
>
> Thanks, pushed to the master branch.
>
>
> --- End Message ---