[rvm-core] version numbers in JIRA

Since it seems pretty clear that the next release will be fairly major (ie, 3.1 instead of 3.0.2), I've gone ahead and renamed the various JIRA release targets accordingly.

It's easy enough to change back if anyone objects.

--dave

------------------------------------------------------------------------------

_______________________________________________
Jikesrvm-core mailing list
Jikesrvm-core@...
https://lists.sourceforge.net/lists/listinfo/jikesrvm-core