Re: ipmi driver broken

> From: Ted Unangst
> Sent: Wednesday, June 28, 2017 8:50 PM
>
> i'm afraid i won't make a very good ipmi maintainer, but i think i applied the
> patch in the right spot.

Cool, thanks; much appreciated.