Change priority from extra to optional in debian/control.
authorgregor herrmann <gregoa@debian.org>
Tue, 15 May 2018 14:51:32 +0000 (16:51 +0200)
committergregor herrmann <gregoa@debian.org>
Tue, 15 May 2018 14:51:32 +0000 (16:51 +0200)
commit81f2f4b5b93cecc84dcf6f3c80723baefc0a07aa
treed1c5c533db81d59a573073561370b5278fa5663f
parentb92d65c4ba2d6532e6e7c28c5cd592ff8628b308
Change priority from extra to optional in debian/control.
debian/control