On 2018-12-13 14:51:26 +0100, Vincent Lefevre wrote: > After downgrading xterm to 337-1, then reupgrading to 338-1, I can > no longer reproduce the bug (for the moment).
The error occurs again. So, it seems to occur only after some time. I don't know what triggers it. -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
