diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-09-09 09:39:09 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-09-09 09:39:09 +0200 |
commit | f582ae71c56c17555e8a7c71912f0e98b3666060 (patch) | |
tree | b9d07a035ff11f267ef8544604fb735956eda2e6 /debian/patches/003_web-bug.diff | |
parent | 13ff8cfbe02ad7328f51331984ea26c83738fbef (diff) |
d/control: Change priority from deprecated extra to optional
Diffstat (limited to 'debian/patches/003_web-bug.diff')
0 files changed, 0 insertions, 0 deletions