~debian-bazaar/debian/sid/bzr/experimental

Viewing all changes in revision 4232.

  • Committer: Jelmer Vernooij
  • Date: 2019-02-23 22:27:51 UTC
  • Revision ID: jelmer@jelmer.uk-20190223222751-98wyxv2iarnwm432
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.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: