=== chris14_ is now known as chris14 === chris14_ is now known as chris14 [06:15] arighi, can we do that as a meta? or a transitional? just throwing ideas around. === flag is now known as ppisati [08:56] juergh, yeah a meta would be much better if it works, the empty linux-doc package is just a quick & dirty solution [08:57] but we also need to fix dkms to not rely on linux-doc and use something that makes more sense to determine the version of the kernel === JanC is now known as Guest1062 === JanC_ is now known as JanC === mamarley_ is now known as mamarley