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