We had public bug tracker before. But it is very difficult to manage.

Now we still prefer to use internal tracker. Bugs will be submitted when verified.