Re: defunkt ?

From: Maxin B. John
Date: Fri Oct 30 2015 - 10:36:25 EST

Hi All,

Trying to revive an old question as it is still valid. Is there any decision
on or moving it to another location yet ?

On Thu, Oct 17, 2013 at 1:08 AM, Daniel Walker <dwalker@xxxxxxxxxx> wrote:
> On Sun, Oct 13, 2013 at 12:09:42PM -0700, Arjan van de Ven wrote:
>> somehow the domain no longer points to the right spot/etc
>> my attempts to get that fixed have failed so far ;-(
> Should we put the source into linux/tools/ ? With the site down it took
> some effort to find the source.
> Daniel

Best Regards,
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at
Please read the FAQ at