On Sat, Aug 2, 2014 at 1:47 PM, Alan McKinnon <alan.mckin...@gmail.com> wrote:
> You are confusing the distfile with the installed ... Well actually I was thinking that if somebody need the old kernel source he/she can unpack the distfile and perform what he/she wants. Maybe updating the linux symlink will be needed though. However I forget the patches, and in that case it does not seem very practical ! However thanks for your time.