|
From: | GNU bug Tracking System |
Subject: | [debbugs-tracker] bug#35917: closed ([PATCH] bookmark.el: Make bookmark-file variable obsolete) |
Date: | Sun, 09 Jun 2019 23:30:02 +0000 |
Your message dated Sun, 9 Jun 2019 16:29:30 -0700 with message-id <address@hidden> and subject line Re: [PATCH] bookmark.el: Make bookmark-file variable obsolete has caused the debbugs.gnu.org bug report #35917, regarding [PATCH] bookmark.el: Make bookmark-file variable obsolete to be marked as done. (If you believe you have received this mail in error, please contact address@hidden.) -- 35917: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=35917 GNU Bug Tracking System Contact address@hidden with problems
--- Begin Message ---Subject: [PATCH] bookmark.el: Make bookmark-file variable obsolete Date: Sun, 26 May 2019 14:08:42 +0200 The `bookmark-file' variable has had the following docstring since 1995-06-19:"Old name for `bookmark-default-file'."
I suggest that it's now time to make it an obsolete variable alias for
`bookmark-default-file'.
Thanks,
Stefan Kangas0001-Make-bookmark-file-variable-obsolete.patch
Description: Text Data
--- End Message ---
--- Begin Message ---Subject: Re: [PATCH] bookmark.el: Make bookmark-file variable obsolete Date: Sun, 9 Jun 2019 16:29:30 -0700 User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.7.0 Thanks, I installed that.
--- End Message ---
[Prev in Thread] | Current Thread | [Next in Thread] |