FlyMine release 10.0

FlyMine release 10.0 is now out, see the release notes for major changes. The problems with upgrading userprofile databases between releases should now be fixed.

There is a new stable branch of InterMine: branches/flymine_release_10_0_branch. Database dumps of FlyMine will be available soon.