Skip to content

Feature/ci

Claus-Justus Heine requested to merge feature/CI into master

I'm not convinced that I'm doing the right thing, but as Andreas asked for a merge request, so here it is.

Grin.

Merge request reports