[PATCH 1/5] debian: change priority to optional.

From: David Bremner The distinction between extra and optional is generally not very important, except that being extra forces anything that depends on you to be extra. --- debian/changelog |1 + debian/control |2 +- 2 files changed, 2 insertions(+), 1 deletion(-)

[PATCH 1/5] debian: change priority to optional.

From: David Bremner brem...@debian.org The distinction between extra and optional is generally not very important, except that being extra forces anything that depends on you to be extra. --- debian/changelog |1 + debian/control |2 +- 2 files changed, 2 insertions(+), 1 deletion(-)