debian: change priority to optional

dlech · dlech · commit fd9ee1f96652 · 2019-04-27T10:56:36.000-05:00
diff --git a/debian/control b/debian/control
@@ -1,6 +1,6 @@
 Source: ev3devkit
 Section: embedded
-Priority: standard
+Priority: optional
 Maintainer: David Lechner <david@lechnology.com>
 Build-Depends: debhelper (>= 9),
     cmake,
