Version 5 (modified by DirkHH, 11 months ago) (diff)

Point people at GitHub? instead

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.