diff options
| author | Jörg Frings-Fürst <debian@jff.email> | 2018-09-09 16:26:44 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff.email> | 2018-09-09 16:26:44 +0200 |
| commit | b41e0eb902c06562464acc55cc28ba4c73e5a769 (patch) | |
| tree | ad4bfd28ab07de3e6cee84c2bc16e7ae72ac749b /debian/changelog | |
| parent | a33cbc45480ad82f029dd6fb4f3470b4f51b67b1 (diff) | |
d/control: Change Priority extra to optional
Diffstat (limited to 'debian/changelog')
| -rw-r--r-- | debian/changelog | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 34560af..78a7e68 100644 --- a/debian/changelog +++ b/debian/changelog @@ -10,6 +10,7 @@ cil (0.07.00-12) UNRELEASED; urgency=medium - Remove trailing whitespaces. * debian/control: - Change Vcs-* to point to the new repository. + - Change Priority extra to optional. -- Jörg Frings-Fürst <debian@jff.email> Sun, 09 Sep 2018 16:00:56 +0200 |