Viewing all changes in revision 87.
- Committer: Jelmer Vernooij
- Date: 2019-01-27 19:00:37 UTC
- Revision ID: jelmer@jelmer.uk-20190127190037-fipu8v59ldaf1u6e
Change priority extra to priority optional.
Fixes lintian: priority-extra-is-replaced-by-priority-optional
See https://lintian.debian.org/tags/priority-extra-is-replaced-by-priority-optional.html for more details.
Fixes lintian: priority-extra-is-replaced-by-priority-optional
See https://lintian.debian.org/tags/priority-extra-is-replaced-by-priority-optional.html for more details.
- files modified:
- debian/changelog
expand all
collapse all
added
removed
