Your message dated Sun, 9 Jun 2019 16:29:30 -0700
with message-id <2ee08ca6-9118-b1e0-8a4c-f76c0104490b@cs.ucla.edu>
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
help-debbugs@gnu.org.)


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