Am Thu, 19 Apr 2012 01:21:46 +0200 schrieb Seblu <se...@seblu.net>: > If you move linux-tools source package into core/extra it make sense > to merge it with linux package.
What sense does this make? The package linux is the kernel, the package linux-tools are kernel tools which are not necessary to be able to use the kernel. So both packages shouldn't be merged. But I agree that linux-tools should be moved to [core]. Heiko
