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.v...@gmail.com> wrote: > 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 _______________________________________________ hibernate-dev mailing list hibernate-dev@lists.jboss.org https://lists.jboss.org/mailman/listinfo/hibernate-dev
