Lagrange [dev]

Merge branch 'dev' into release

Jaakko Keränen

Mon Nov 16 08:59:35 2020 +0200

Conflicts:

CMakeLists.txt

res/about/version.gmi

src/ui/documentwidget.c

Diff (Colored, Plain Text)

Parent 22abc539

Parent b1574e77