* debian/control (Build-Depends): Changed debhelper version to (>= 9) to match debian/compat. * mandos-options.xml (priority): Changed back to normal priority. (priority_compat): New option; for the server which needs to a priority string compatible with old keys. * mandos-conf.xml (OPTIONS/priority): Include "priority_compat". * mandos.xml (OPTIONS/priority): - '' -