Spring cleaning
We have a lot of old branches in this repository. They either should be deleted or merged. Please create a merge request or delete the below listed branches. And check the box if you are done.
Edited by Hendrik Schultheis
We have a lot of old branches in this repository. They either should be deleted or merged. Please create a merge request or delete the below listed branches. And check the box if you are done.