[Jredmine-commits] annotated tag jredmine-1.8 deleted (was 3ca0c1c)