Wednesday, November 15, 2017

I am back at work after two weeks of busy days in Eupen.

I checked in miscellaneous changes after meeting with Daniel (#2137).

Side effect: I fixed #2143 also for lino.modlib.extjs.