Commit 4a272008 authored 2 years ago by Jörg Sachse

Merge branch '8-ci' into 'master'

Resolve "CI"

Closes #8

See merge request !6

No related branches found

No related tags found

1 merge request!6Resolve "CI"

Pipeline #3618 passed 2 years ago