Skip to content

Revert "Merge branch 'master' into 'master'"

Clemens John requested to merge revert-688191c8 into master

This reverts merge request !1 (merged)

Reason: On 19th November I switched the URLs of the submodules to the new git domain git.ffnw.de. Please dont overwrite these changes! See 0d69fa8e for details.

Merge request reports