Port chances to fix bug in lydia described at http://luc.lino-framework.org/blog/2017/1207.html
Port chances to fix bug in lydia described at http://luc.lino-framework.org/blog/2017/1207.html


lino-framework/lino,lino-framework/lino,khchine5/lino,khchine5/lino,khchine5/lino,khchine5/lino,lsaffre/lino,khchine5/lino,lino-framework/lino,lino-framework/lino,lsaffre/lino,lsaffre/lino,lsaffre/lino,lsaffre/lino,lino-framework/lino