That's a good thought. On Wed, Feb 7, 2018, 3:52 PM Sanne Grinovero <sa...@hibernate.org> wrote:
> 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 > _______________________________________________ hibernate-dev mailing list hibernate-dev@lists.jboss.org https://lists.jboss.org/mailman/listinfo/hibernate-dev