Run of lintian-fixes for fp16

Try this locally (using the lintian-brush package):

debcheckout fp16
cd fp16
lintian-brush

Merge these changes:

git pull https://janitor.debian.net/git/fp16 lintian-fixes/main

Summary

Diff

Unable to retrieve diff; error 500

Publish History

  • 2020-10-30T03:15: Failed to create merge proposal: merge-conflict (merge would conflict (upstream changes?))

Full worker log Full build log