https://www.kernel.org/ got a facelift. Looks better.
Hugo --To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/kgtdbg$9vr$1...@ger.gmane.org
