changed bug reporting location from mailing list to github issue tracker