intermine/intermine — pull request #840 by alexkalderimis (2014-11-24 17:14:19+00:00)
Title: Issue 772

This set of changes fixes bugs with the friendly mines infrastructure, and makes things more maintainable.