tags 494457 wontfix
We don't consider disabled PRINTK_TIME. You can always disable this on
the command line.
There is an order of things in this universe.
-- Apollo, "Who Mourns for Adonais?" stardate 3468.1
To UNSUBSCRIBE, email to debian-kernel-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact email@example.com