Re: [jetty-dev] Time to change the default branch to `jetty-12.0.x` ?

[Greg Wilkins <gregw@xxxxxxxxxxx>]

+1

On Wed, 20 Dec 2023 at 11:41, Olivier Lamy via jetty-dev <jetty-dev@xxxxxxxxxxx> wrote:

+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

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

--

Greg Wilkins <gregw@xxxxxxxxxxx> CTO http://webtide.com