That's a good thought.
On Wed, Feb 7, 2018, 3:52 PM Sanne Grinovero 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 ve
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:
I also think it's redundant now.
Vlad
On Wed, Feb 7, 2018 at 8:36 PM, andrea boriero wrote:
> I think it is not necessary anymore, so +1 for removing it.
>
> On 7 February 2018 at 18:32, Steve Ebersole wrote:
>
> > Now that the hibernate.org infrastructure supports doc versions, should
> we
>
I think it is not necessary anymore, so +1 for removing it.
On 7 February 2018 at 18:32, Steve Ebersole 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
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
