We use googlecode issues. The Github issues page is open by mistake and I will close it until there is consent among development that we should move issues on github. So far googlecode issues have served us well.
If you opened an issue on guthub and want it resolved, move it to googlecode. massimo
