]> git.netwichtig.de Git - user/henk/code/schleuder-website.git/commitdiff
Merge branch 'schleuder-version-3.5.2' into 'master'
authorgeorg <georg@riseup.net>
Tue, 9 Jun 2020 21:10:59 +0000 (14:10 -0700)
committergeorg <georg@riseup.net>
Tue, 9 Jun 2020 21:10:59 +0000 (14:10 -0700)
Add docs about Schleuder version 3.5.2

See merge request schleuder/schleuder-website!88


Trivial merge