Re: [hibernate-dev] Starting 5.1.0 release

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 >>> >> >>