/mandos/release : revision 237.7.457

Committer: Teddy Hogeborn
Date: 2017-08-20 16:25:42 UTC
mto: <a title="Merged In 237.7.594" href="/loggerhead/mandos/release/revision/237.7.594?remember=237.7.526">(237.7.594 trunk)
mto: This revision was merged to the branch mainline in revision 360 .
Revision ID: teddy@recompile.se-20170820162542-bj2bmwfbbsph8oq8

To get this branch, use:

bzr branch
http://bzr.recompile.se/loggerhead/mandos/release

Viewing changes to INSTALL

Change Debian package priority from "extra" to "optional".

* debian/control (Priority): Change from "extra" to "optional".

added added

removed removed