Skip to content

Changes for schleuder 3.2

georg requested to merge schleuder-3.2 into master

schleuder 3.2 was finally released, let's merge this.

Merge request reports