[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#56491: closed ([PATCH] Don't create file rmail-loaddefs.el)
From: |
GNU bug Tracking System |
Subject: |
bug#56491: closed ([PATCH] Don't create file rmail-loaddefs.el) |
Date: |
Mon, 11 Jul 2022 12:11:02 +0000 |
Your message dated Mon, 11 Jul 2022 05:10:00 -0700
with message-id
<CADwFkmn_CzPHDA=wZM1Oa0ksC31re2sSOG5_ZVBGnD=Jv=+tCA@mail.gmail.com>
and subject line Re: bug#56491: [PATCH] Don't create file rmail-loaddefs.el
has caused the debbugs.gnu.org bug report #56491,
regarding [PATCH] Don't create file rmail-loaddefs.el
to be marked as done.
(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)
--
56491: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=56491
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
--- Begin Message ---
Subject: |
[PATCH] Don't create file rmail-loaddefs.el |
Date: |
Sun, 10 Jul 2022 17:28:58 -0700 |
Severity: wishlist
It seems like the rmail-loaddefs.el file is not really used for
anything? Maybe we could just remove it, as in the attached.
0001-Don-t-create-unused-file-rmail-loaddefs.el.patch
Description: Text Data
--- End Message ---
--- Begin Message ---
Subject: |
Re: bug#56491: [PATCH] Don't create file rmail-loaddefs.el |
Date: |
Mon, 11 Jul 2022 05:10:00 -0700 |
Lars Ingebrigtsen <larsi@gnus.org> writes:
> the correct fix here is to just remove
>
> ;; Local Variables:
> ;; generated-autoload-file: "rmail-loaddefs.el"
> ;; End:
>
> but leave the ;;;###autoload cookies as is.
OK, makes sense. Now done on master (commit d9732425a6).
--- End Message ---
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#56491: closed ([PATCH] Don't create file rmail-loaddefs.el),
GNU bug Tracking System <=