Re: [hibernate-dev] ORM documentation info hibernate.org

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&gt; wrote: > I also think it's redundant now. > > Vlad > > On Wed, Feb 7, 2018 at 8:36 PM, andrea boriero <andrea(a)hibernate.org&gt; 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&gt; 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