We got some request to move our ticketing system from the proprietry system on our website to Github.
As of today the GitHub issues list is our official bug list / todo list.
In most cases bug reports send to us by mail will be posted by ourselves at Github (without the details of the person that posted the issue). Of course you can still follow these bugreports at Github.
The "Tickets" button on the top of this screen has now been changed and points to the Github issues page on the XSharpPublic repository.
We do not have the source of the Compiler in this repo (yet) but Compiler tickets will also be managed through Github.