* John H. Robinson, IV <jaqque@debian.org> [2004-08-19 15:05]: > My choices are to continue maintenance, or to file a bug requesting > their removal from the archive. We had those kernels removed months ago. -- Martin Michlmayr tbm@cyrius.com