[hibernate-dev] Starting 5.1.0 release

[Vlad Mihalcea]

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