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