Commit f8235dac authored by georg's avatar georg

Merge branch 'schleuder-version-3.5.1' into 'master'

Add docs about Schleuder version 3.5.1

See merge request !87
parents 375e14ce c3f49b64
Pipeline #39782 passed with stages
in 2 minutes and 10 seconds