Hi! On Thu, 19 Dec 2019 at 17:12, Ludovic Courtès <l...@gnu.org> wrote:
> > You have right. It is a bug. > > D’oh! Could you file it? Done in #38673. https://debbugs.gnu.org/cgi/bugreport.cgi?bug=38673 Cheers, simon
Hi! On Thu, 19 Dec 2019 at 17:12, Ludovic Courtès <l...@gnu.org> wrote:
> > You have right. It is a bug. > > D’oh! Could you file it? Done in #38673. https://debbugs.gnu.org/cgi/bugreport.cgi?bug=38673 Cheers, simon