Le jeu. 6 mars 2025 à 14:55, Eli Zaretskii <eliz@gnu.org> a écrit :

(...) So Matthias, please finalize the patch and resubmit it.

Please find an updated patch with this message.

A NEWS entry has been added, versions to new defcustoms and the key binding suggestion changed to use keys reserved to the user.

Matthias