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