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

Merge branch 'f-random-minor-improvements' into 'dev' 

F random minor improvements

See merge request !138
parents 12f4ca33 795fdcb6
No related branches found
No related tags found
2 merge requests!160STY: styling,!138F random minor improvements
Pipeline #46338 passed
Stage: info
Stage: setup
Stage: cert
Stage: style
Stage: test