Commit 38d31b31 authored by johannes.bechberger's avatar johannes.bechberger
Browse files

Merge branch 'update-git-links' into 'master'

update git links

See merge request !2
parents 0e281b02 53796528
Pipeline #175174 passed with stage