Control: forwarded -1 https://debbugs.gnu.org/cgi/bugreport.cgi?bug=79419
I've just reported a bug upstream, though I'm not sure whether this is a 100% upstream bug (distributions have more knowledge). -- Vincent Lefèvre <[email protected]> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / Pascaline project (LIP, ENS-Lyon)
