>>>>> On Thu, 17 Nov 2022 08:33:20 -0500 (EST), Eli Zaretskii <eliz@gnu.org> said:

    Eli> branch: master
    Eli> commit f320663239a14aceee01868c465a4461e3a69954
    Eli> Author: Andrea Monaco <andrea.monaco@autistici.org>
    Eli> Commit: Eli Zaretskii <eliz@gnu.org>

>>>>> On Thu, 17 Nov 2022 08:33:20 -0500 (EST), Eli Zaretskii <eliz@gnu.org> said:

    Eli> branch: master
    Eli> commit f320663239a14aceee01868c465a4461e3a69954
    Eli> Author: Andrea Monaco <andrea.monaco@autistici.org>
    Eli> Commit: Eli Zaretskii <eliz@gnu.org>

Eli, how about this (I donʼt use rmail, so I canʼt test it, but itʼs
fairly mechanical).

Robert
--