Re: [hibernate-dev] Starting 5.1.0 release

Congrats! I checked the docs but the User Guide is still the old one: http://docs.jboss.org/hibernate/orm/5.1/userGuide/en-US/html_single/ Should we make the switch in a future release? On Wed, Feb 10, 2016 at 8:20 PM, Sanne Grinovero <sanne(a)hibernate.org&gt; wrote: > Congratulations!! > > On 10 February 2016 at 18:16, Steve Ebersole <steve(a)hibernate.org&gt; wrote: > > The release build is done. Push away! > > > > > > On Wed, Feb 10, 2016 at 11:14 AM Steve Ebersole <steve(a)hibernate.org&gt; > wrote: > > > >> > >> > > _______________________________________________ > > hibernate-dev mailing list > > hibernate-dev(a)lists.jboss.org > > https://lists.jboss.org/mailman/listinfo/hibernate-dev > _______________________________________________ > hibernate-dev mailing list > hibernate-dev(a)lists.jboss.org > https://lists.jboss.org/mailman/listinfo/hibernate-dev >