--- 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 ---