emacs-devel
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: master b778e71af7 3/5: Preserve <title> in the Emacs manuals, master

From: Robert Pluim
Subject: Re: master b778e71af7 3/5: Preserve <title> in the Emacs manuals, master e0e3f2b672 2/5: Don't bug out in manual-html-fix-index-2 on newer makeinfo versions
Date: Mon, 04 Jul 2022 13:34:32 +0200 
>>>>> On Mon,  4 Jul 2022 07:08:47 -0400 (EDT), Lars Ingebrigtsen 
>>>>> <larsi@gnus.org> said:

    Lars> branch: master
    Lars> commit b778e71af7ca8c59917334b4bb1b34cdb52faca9
    Lars> Author: Lars Ingebrigtsen <larsi@gnus.org>
    Lars> Commit: Lars Ingebrigtsen <larsi@gnus.org>

    Lars>     Preserve <title> in the Emacs manuals
    
    Lars>     * admin/admin.el (manual-html-fix-headers): Preserve the <title>
    Lars>     element (bug#48334).
>>>>> On Mon,  4 Jul 2022 07:08:47 -0400 (EDT), Lars Ingebrigtsen 
>>>>> <larsi@gnus.org> said:

    Lars> branch: master
    Lars> commit e0e3f2b672bc42da52ac9c7596c7560a88684651
    Lars> Author: Lars Ingebrigtsen <larsi@gnus.org>
    Lars> Commit: Lars Ingebrigtsen <larsi@gnus.org>

    Lars>     Don't bug out in manual-html-fix-index-2 on newer makeinfo 
versions
    
    Lars>     * admin/admin.el (manual-html-fix-index-2): Don't bug out if the
    Lars>     makeinfo version doesn't include <ul>.

Should these two go to the release branch?

Robert
--
reply via email to
[Prev in Thread] Current Thread [Next in Thread]