Please use the github issue system at ‚Äč

Managing this bug tracker was taking a disproportionate amount of time - and spammers were constantly trying to make things even more painful for us. So we finally gave up - please use the GitHub? issue tracker instead.

Last modified 12 months ago Last modified on Jan 28, 2017, 9:26:31 PM