Bump debhelper from old 12 to 13.
Failed
silver-platter
created pipeline for commit
eae30c0d
, finished
1 related merge request: !2 Fix some issues reported by lintian
37 seconds, queued for 3 seconds