Hi, I'm going to run some updates on Jenkins this Friday. They are minor updates and should be painless but you never know.
Cheers, Davide _______________________________________________ hibernate-dev mailing list hibernate-dev@lists.jboss.org https://lists.jboss.org/mailman/listinfo/hibernate-dev
