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.

It might help those wanting to try it themselves.

-- hendrik