Skip to content

Fix some issues reported by lintian#3

Merged
bzed merged 3 commits into
bzed:debianfrom
debian-janitor:lintian-fixes
Jun 16, 2020
Merged

Fix some issues reported by lintian#3
bzed merged 3 commits into
bzed:debianfrom
debian-janitor:lintian-fixes

Conversation

@debian-janitor

Copy link
Copy Markdown

Fix some issues reported by lintian

This merge proposal was created automatically by the Janitor bot.

You can follow up to this merge proposal as you normally would.

The bot will automatically update the merge proposal to resolve merge conflicts
or close the merge proposal when all changes are applied through other means
(e.g. cherry-picks). Updates may take several hours to propagate.

Build and test logs for this branch can be found at
https://janitor.debian.net/lintian-fixes/pkg/pps-tools/5c3569c7-b5a3-4d8b-9a85-7f36ca824b6f.

These changes have no impact on the binary debdiff.

You can also view the diffoscope diff (unfiltered).

@bzed
bzed merged commit 2b16a5c into bzed:debian Jun 16, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants