Hi, I haven't changed the current build process. I'll have to investigate where to make the change.
On Wed, Feb 10, 2016 at 9:01 PM, Steve Ebersole <st...@hibernate.org> wrote: > 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
