3 ms·

Thanks for the clarification. It's been mirrored on github for a long time, but it's almost always a pretty old release. To OP, "hosted on git" and "hosted on

by wizzard 15y ago

Thanks for the clarification. It's been mirrored on github for a long time, but it's almost always a pretty old release. To OP, "hosted on git" and "hosted on github" are two very different things.