Skip to content
Snippets Groups Projects
Commit e9dd78d0 authored by Willem-Jan Vriend's avatar Willem-Jan Vriend
Browse files

Merge branch 'wjv/bugfix/rm_irdb' into 'develop' 

irdb is an external

See merge request !357
parents 49eb0b17 bbc26248
Pipeline #20272 passed with stages
in 2 hours, 14 minutes, and 56 seconds