On Thu, Nov 06, 2003 at 02:18:16PM -0500, Daniel Jacobowitz wrote: > On Thu, Nov 06, 2003 at 07:55:03PM +0100, Eduard Bloch wrote: > > What not rename linux-kernel-headers to simple system-headers-linux? > > This will prevent confused users (or: lazy to read the description users) > > from asking this again and again. > > Because at this point it'd be a nuisance to rename it, I decided not > to. If there is a strong consensus to the contrary we can do it. I support your decision. -- G. Branden Robinson | The first thing the communists do Debian GNU/Linux | when they take over a country is to branden@debian.org | outlaw cockfighting. http://people.debian.org/~branden/ | -- Oklahoma State Senator John Monks
Attachment:
signature.asc
Description: Digital signature