Re: crash binary for latest unreleased kernel

[Mike Galbraith]

On Sun, 2018-01-28 at 12:19 -0800, Joe Smith wrote:
> Thanks a lot, Mike. Following your suggestions worked !!!!

Until Monday happened :)

        -Mike