=== modified file 'debian/control'
--- debian/control	2017-01-21 22:22:44 +0000
+++ debian/control	2017-08-20 16:25:42 +0000
@@ -1,6 +1,6 @@
 Source: mandos
 Section: admin
-Priority: extra
+Priority: optional
 Maintainer: Mandos Maintainers <mandos@recompile.se>
 Uploaders: Teddy Hogeborn <teddy@recompile.se>,
 	   Björn Påhlsson <belorn@recompile.se>