tree 53aabe831380249707eaecf6843b7e8430fec0b6
parent d32587c9bc981ad0430f4ee6fcd60eb38ba60a0d
author Jonathan Nieder <jrnieder@gmail.com> 1548636116 -0800
committer Jonathan Nieder <jrnieder@gmail.com> 1548636116 -0800

debian/control: Follow current policy for Priority field

Policy 2.5 explains:

 The priority of a package is determined solely by the functionality
 it provides directly to the user. The priority of a package should
 not be increased merely because another higher-priority package
 depends on it

and:

 extra
  This priority is deprecated. Use the optional priority instead.

This means we can treat liblzma5 and xzdec as optional now.