Lagrange [release]

Merge branch 'dev' into release

Mon Nov 16 08:59:35 2020 +0200

Conflicts:

CMakeLists.txt

res/about/version.gmi

src/ui/documentwidget.c