Change priority extra to priority optional.
Failed
silver-platter
created pipeline for commit
b970d5e0
, finished
1 related merge request: !1 Fix some issues reported by lintian
19 seconds, queued for 4 seconds