Lagrange [release]

Merge branch 'dev' into release

Jaakko Keränen

Sun Aug 29 16:20:17 2021 +0300

Conflicts:

src/ui/text.c

Diff (Colored, Plain Text)

Parent 9753727d

Parent 7ec39c46