[dev/oar-prop] the oar-properties generator does not know about retired nodes...
Passed
Lucas Nussbaum
created pipeline for commit
facbe7f3
, finished
1 related merge request: !232 dead nodes management (bug 13031)
6 minutes 23 seconds, queued for 2 seconds