π¨ IMPORTANT π¨ This project isn't maintained anymore, please use the fork Tanton instead
chase-manning opened this issue Β· comments
Chase Manning commented
This repo is no longer maintained, and hasn't had any new commits in two and half years.
It has been forked and redeployed with active maintenance, please use this instead:
Linus K. commented
Just for the sake of organizing, these PRs seem to be results of this issue and address mostly the same point. So discussion or why this happened is probably best discussed here.