Author: Hendrik Boom Date: To: dng Subject: Re: [DNG] /usr to merge or not to merge... that is the question??
On Tue, Nov 20, 2018 at 02:32:28AM -0800, Rick Moen wrote: > Quoting Didier Kryn (kryn@???):
>
> > And what kernel source do you use, kernel.org or Debian?
>
> I'm unclear on what possible use you would have for that information.