Merge branch 'allowholesinTJM' into 'main'
Passed
Tor-Einar Skog
created pipeline for commit
3a569f97
, finished
1 related merge request: !16 Main
2 minutes 12 seconds, queued for 2 seconds