Hi,
I deleted by mistake some commits on the last few days on GeoNetwork
develop branch.
I am going to re-commit all pull request from the last days. If any of
you have a current version of geonetwork develop branch, please, push
it so all commits are there.
Sorry.
María.