Skip to content
Snippets Groups Projects

irdb update

Passed
Willem-Jan Vriend created pipeline for commit 6182d311
finished
Related merge request !354 to merge wjv/bugfix/irdb_update
merge request
7 Jobs 143 minutes 10 seconds, queued for 3 seconds