merge main to branch 6 - Githubissues

moves-rwth / stormvogel

Storm for almost everyone

2 stars 0 forks source link

Closed PimLeerkes closed 4 months ago

linusheck commented 4 months ago

i think this PR is the wrong way around (the target and source branch)