18 Apr
2012
18 Apr
'12
11:58 p.m.
On Apr 19, 2012 1:47 AM, "Heiko Baums" <lists@baums-on-web.de> wrote:
Am Thu, 19 Apr 2012 01:21:46 +0200 schrieb Seblu <seblu@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].
I agree it would make sense to make it a split package with the kernel as the source is shipped with the kernel (afaiu). I'll leave that up to Thomas/Tobias to decide. t