geonetwork/core-geonetwork — pull request #523 by matthias-mueller (2014-05-27 14:13:47+00:00)
Title: Fixed: //FIXME : Should be a remote repository

Substituted local maven repo with github core-maven-repo.