I thought you had updated the documentation build to build this?
On Wed, Feb 10, 2016 at 12:31 PM Vlad Mihalcea <mihalcea.v...@gmail.com> wrote: > 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 <sa...@hibernate.org> > wrote: > >> Congratulations!! >> >> On 10 February 2016 at 18:16, Steve Ebersole <st...@hibernate.org> wrote: >> > The release build is done. Push away! >> > >> > >> > On Wed, Feb 10, 2016 at 11:14 AM Steve Ebersole <st...@hibernate.org> >> wrote: >> > >> >> >> >> >> > _______________________________________________ >> > hibernate-dev mailing list >> > hibernate-dev@lists.jboss.org >> > https://lists.jboss.org/mailman/listinfo/hibernate-dev >> _______________________________________________ >> hibernate-dev mailing list >> hibernate-dev@lists.jboss.org >> https://lists.jboss.org/mailman/listinfo/hibernate-dev >> > > _______________________________________________ hibernate-dev mailing list hibernate-dev@lists.jboss.org https://lists.jboss.org/mailman/listinfo/hibernate-dev