Do we have a bug tracker?

I noticed a few things as I was playing with the demos. Is there a bug tracker for JUCE that I’m not finding or is it customary to just leave them in the forums?

I found http://sourceforge.net/p/juce/bugs/ but I somehow doubt this is in use considering the last entry is from three years ago.

if you have a bug, post it here on the forum, mostly jules will fix it quickly!