diff options
author | Paul Gevers <elbrus@debian.org> | 2017-12-10 07:46:36 +0100 |
---|---|---|
committer | Paul Gevers <elbrus@debian.org> | 2017-12-10 07:46:50 +0100 |
commit | 0a7825da8aed5a672aa1be42d3ffbee6cb0d3d45 (patch) | |
tree | 5f9d0705b813d2c0c5dff42fea47781ec2922742 /debian/changelog | |
parent | 3ebe9fa5fbe3817bc480545d1fb77979efc371d0 (diff) |
Change priority from extra to optional
Diffstat (limited to 'debian/changelog')
0 files changed, 0 insertions, 0 deletions