Re: [gentoo-user] Re: /usr/src/linux gone

[sean]

thanks for the info.
As I said I do not know how this happened, this system has been running
fine for years with little effort  to maintain.