>>>> "KF" == Kevin Fenzi <kevin(a)scrye.com>
KF> Huh. I think I merged this, and I don't see any comment from anyone
KF> about the ~, and I guess I missed it too.
The problem is that I made my comments on the "upstream" pull request,
because I was pinged in it:
But that one was cancelled and replaced with the "downstream" PR:
which didn't mention the other one at all. And since I wasn't
mentioned, I didn't see the other PR until after it had been merged.