[hibernate-dev] [Search] push-force on master

Thursday, 15 May 2014

Hi all,
I've just used a push --force on master of Hibernate Search, hopefully
no damage as I undid a commit of just 15 minutes.

Sorry for any trouble, teaching merge procedures ;)