Skip to content

GitLab

Merge branch 'change_author' into 'master' 

usermanual: author list: removed Daniel, added myself

See merge request !85
12 jobs for master in 10 minutes and 15 seconds (queued for 1 second)
353bd7cb
No related merge requests found.