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/docs | |
| parent | a33cbc45480ad82f029dd6fb4f3470b4f51b67b1 (diff) | |
d/control: Change Priority extra to optional
Diffstat (limited to 'debian/docs')
0 files changed, 0 insertions, 0 deletions