Skip to content
Snippets Groups Projects
Commit 91ded994 authored by Henrik tom Wörden's avatar Henrik tom Wörden
Browse files

Merge remote-tracking branch 'gitlab.com/dev' into dev

parents 34fdd6fb 9c2cbe16
No related branches found
No related tags found
1 merge request!41REL: update changelog, bump version of pom.xml, update DEPENDENCIES
Pipeline #9185 passed