minor fix for github issues when filtering by labels/milestones
0.0.9 release, now with trac support