Commit 1156bb56 authored by georg's avatar georg

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

Add docs about Schleuder version 3.5.2

See merge request !88
parents f8235dac 5048d0b6
Pipeline #40999 passed with stages
in 2 minutes and 26 seconds