Re: [hibernate-dev] Upgrades for ci.hibernate.org