Merge branch 'release_1.8.0rc1' into 'dev'
1 related merge request: !377 removed new formatting function, put the functionality in the old one,...
Scheduled
11 jobs
9 minutes 46 seconds, queued for 7 seconds