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.