projects / grml-live-grml.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 274083f) | patch
debian: switch Priority from extra to optional
authorMichael Prokop <mika@grml.org>
Fri, 17 Jul 2020 19:14:04 +0000 (21:14 +0200)
committerMichael Prokop <mika@grml.org>
Fri, 17 Jul 2020 19:14:04 +0000 (21:14 +0200)
commitb1bf01ec648ab640c69ccc8aeff777831e886c7c
tree8195acfd6d7eb95603c21a94f9e56f64f1d16299tree
parent274083f4738bb442447e409d21e22313729a3b5acommit | diff
debian: switch Priority from extra to optional

Fixes lintian warning priority-extra-is-replaced-by-priority-optional
debian/control diff | blob | history
grml-live bits that can't be shipped in Debian