Change priority extra to priority optional.
Failed
silver-platter
created pipeline for commit
8ec11896
, finished
1 related merge request: !2 Fix some issues reported by lintian
16 seconds, queued for 5 seconds