On Fri, Jan 28, 2022 at 2:10 PM Damien Le Moal
<damien.lemoal@xxxxxxxxxxxxxxxxxx> wrote:
>
> I forgot about the umn.edu situation and accepted a patch, which was the single
> fix in my earlier pull request. This pull request reverts the patch. My
> apologies for the noise.
Gaah. The patch looks valid, so I think reverting it just for the umn
situation is not only noise, but a bit unnecessary.
I'm adding Greg to the cc, since he was the one most involved with
that whole thing and maybe he feels otherwise, but I'll drop this
revert for now on the assumption that it's fine.
Linus
