I also think it's redundant now. Vlad
On Wed, Feb 7, 2018 at 8:36 PM, andrea boriero <and...@hibernate.org> wrote: > I think it is not necessary anymore, so +1 for removing it. > > On 7 February 2018 at 18:32, Steve Ebersole <st...@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@lists.jboss.org > > https://lists.jboss.org/mailman/listinfo/hibernate-dev > > > _______________________________________________ > hibernate-dev mailing list > hibernate-dev@lists.jboss.org > https://lists.jboss.org/mailman/listinfo/hibernate-dev > _______________________________________________ hibernate-dev mailing list hibernate-dev@lists.jboss.org https://lists.jboss.org/mailman/listinfo/hibernate-dev
