Fix bob-devel version numbers (forgot update)
Passed
created pipeline for commit
cea77a29
, finished
1 related merge request: !436 Fix bob-devel version numbers (forgot update)
11 minutes 59 seconds, queued for 1 seconds