Subject: Priority change for kernel-source and kernel-package

From: Ian Jackson <[email-masked]>
Date: Tue, 16 Jul 96 17:31 BST

I've changed the priority of kernel-source from `standard' to `extra'.
This is because we don't need kernel source in this form any more, and
because it's the dpkg maintainer's opinion that it's a bad way to
distribute it :-).

I've made kernel-package optional.

Ian.