-
Committer:
Teddy Hogeborn
-
Date:
2017-08-20 16:25:42 UTC
-
mto:
(237.7.594 trunk)
-
mto:
This revision was merged to the branch mainline in
revision
360.
-
Revision ID:
teddy@recompile.se-20170820162542-bj2bmwfbbsph8oq8
Change Debian package priority from "extra" to "optional".
* debian/control (Priority): Change from "extra" to "optional".