Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [jetty-dev] Time to change the default branch to `jetty-12.0.x` ?

+1

On Wed, Dec 20, 2023 at 7:54 AM Joakim Erdfelt via jetty-dev <jetty-dev@xxxxxxxxxxx> wrote:
I think it's time that we change the default branch to `jetty-12.0.x`.

Thoughts?

Joakim Erdfelt / joakim@xxxxxxxxxxx
_______________________________________________
jetty-dev mailing list
jetty-dev@xxxxxxxxxxx
To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/jetty-dev


--
Olivier

Back to the top