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