Change priority extra to priority optional.
Fixes: lintian: priority-extra-is-replaced-by-priority-optional
See-also: https://lintian.debian.org/tags/priority-extra-is-replaced-by-priority-optional.html
Debian Janitor
4 years ago
7 | 7 |
* Use secure URI in debian/watch.
|
8 | 8 |
* Bump debhelper from old 10 to 12.
|
9 | 9 |
* Set debhelper-compat version in Build-Depends.
|
|
10 |
* Change priority extra to priority optional.
|
10 | 11 |
|
11 | 12 |
-- Simon McVittie <smcv@debian.org> Thu, 31 May 2018 00:11:52 +0100
|
12 | 13 |
|
0 | 0 |
Source: funguloids
|
1 | |
Priority: extra
|
|
1 |
Priority: optional
|
2 | 2 |
Section: games
|
3 | 3 |
Maintainer: Debian Games Team <pkg-games-devel@lists.alioth.debian.org>
|
4 | 4 |
Uploaders:
|