Commit 39270e3b authored by Jelmer Vernooij's avatar Jelmer Vernooij

Change priority extra to priority optional.

Fixes lintian: priority-extra-is-replaced-by-priority-optional
See for more details.
parent 37426cc7
coinor-osi (0.107.9+repack1-2) UNRELEASED; urgency=medium
* Change priority extra to priority optional.
-- Jelmer Vernooij <> Sat, 20 Oct 2018 13:57:13 +0000
coinor-osi (0.107.9+repack1-1) unstable; urgency=medium
* Upload into unstable.
......@@ -2,7 +2,7 @@ Source: coinor-osi
Maintainer: Debian Science Team <>
Uploaders: Anton Gladky <>
Section: science
Priority: extra
Priority: optional
Build-Depends: debhelper (>= 10),
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment