[hibernate-dev] ORM documentation info hibernate.org

[Steve Ebersole]

That's a good thought.

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