Merge branch 'dev' into f-improve-diff-descriptions
Warning
Henrik tom Wörden
created pipeline for commit
eb30b29e
, finished
1 related merge request: !154 Added the possibility to use custom labels instead of 'old' and 'new'
10 minutes 13 seconds, queued for 3 seconds