[hibernate-dev] Starting 5.1.0 release

[Steve Ebersole]

I thought you had updated the documentation build to build this?


On Wed, Feb 10, 2016 at 12:31 PM Vlad Mihalcea <mihalcea.vlad at 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 <sanne at hibernate.org>
> wrote:
>
>> Congratulations!!
>>
>> On 10 February 2016 at 18:16, Steve Ebersole <steve at hibernate.org> wrote:
>> > The release build is done.  Push away!
>> >
>> >
>> > On Wed, Feb 10, 2016 at 11:14 AM Steve Ebersole <steve at hibernate.org>
>> wrote:
>> >
>> >>
>> >>
>> > _______________________________________________
>> > hibernate-dev mailing list
>> > hibernate-dev at lists.jboss.org
>> > https://lists.jboss.org/mailman/listinfo/hibernate-dev
>> _______________________________________________
>> hibernate-dev mailing list
>> hibernate-dev at lists.jboss.org
>> https://lists.jboss.org/mailman/listinfo/hibernate-dev
>>
>
>