Yes it works now. Thank you ! Le ven. 8 nov. 2019 à 01:19, Eli Zaretskii a écrit : > > Date: Fri, 01 Nov 2019 15:43:25 +0200 > > From: Eli Zaretskii > > Cc: 37986@debbugs.gnu.org > > > > > From: Sébastien Chapuis > > > Date: Fri, 1 Nov 2019 21:35:24 +0800 > > > Cc: 37986@debbugs.gnu.org > > > > > > Yes, the problem goes away after reverting this commit. > > > > OK, thanks for testing. > > > > I'm going to revert that commit in a couple of days, unless a better > > solution comes to mind. We tried to fix a minor aesthetic problem, > > and instead got ourself several much more grave ones. > > Done. Please see that this issue is now resolved. >