On Thu, Apr 28, 2022 at 12:15 PM Dirk Hohndel <dirk at hohndel.org> wrote: > > Are you going to send a PR, or do you want me to just make something up > for you? You might as well just apply that patch directly. Linus