Re: [hibernate-dev] Starting 5.1.0 release

no, I'll do it On Wed, Feb 10, 2016 at 1:05 PM Vlad Mihalcea <mihalcea.vlad(a)gmail.com&gt; wrote: > 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 <steve(a)hibernate.org&gt; > wrote: > >> I thought you had updated the documentation build to build this? >> >> >> On Wed, Feb 10, 2016 at 12:31 PM Vlad Mihalcea <mihalcea.vlad(a)gmail.com&gt; >> 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 <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 >>>> >>> >>> >