Merge branch 'assist/autoformat/wjv/bugfix/rm_irdb/b805b777' into 'wjv/bugfix/rm_irdb'
Related merge request !357 to merge wjv/bugfix/rm_irdb
merge request
8 Jobs
130 minutes 4 seconds, queued for 7 seconds