That's a good thought.
On Wed, Feb 7, 2018, 3:52 PM Sanne Grinovero <sanne(a)hibernate.org> wrote:
No strong objection, but I quite like it giving a quick shortcut to
switch version.
It's also well visible, making sure people are on the version they
mean to be - which is useful if they "land" directly on a version
documentation from outdated links or search engines.
On 7 February 2018 at 18:38, Vlad Mihalcea <mihalcea.vlad(a)gmail.com>
wrote:
> I also think it's redundant now.
>
> Vlad
>
> On Wed, Feb 7, 2018 at 8:36 PM, andrea boriero <andrea(a)hibernate.org>
wrote:
>
>> I think it is not necessary anymore, so +1 for removing it.
>>
>> On 7 February 2018 at 18:32, Steve Ebersole <steve(a)hibernate.org>
wrote:
>>
>> > Now that the
hibernate.org infrastructure supports doc versions,
should
>> we
>> > remove the version drop-down from the info pages? Vlad I know you
spent
>> > some time adding that; what are your thoughts?
>> > _______________________________________________
>> > 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
>>
> _______________________________________________
> 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