From: Michael Prokop <mika@grml.org>
Date: Fri, 17 Jul 2020 19:14:04 +0000 (+0200)
Subject: debian: switch Priority from extra to optional
X-Git-Tag: v0.21.0~3
X-Git-Url: https://git.grml.org/?a=commitdiff_plain;h=b1bf01ec648ab640c69ccc8aeff777831e886c7c;hp=b1bf01ec648ab640c69ccc8aeff777831e886c7c;p=grml-live-grml.git

debian: switch Priority from extra to optional

Fixes lintian warning priority-extra-is-replaced-by-priority-optional
---