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

[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` ?

From: Olivier Lamy <olamy@xxxxxxxxxxx>
Date: Wed, 20 Dec 2023 10:40:50 +1000
Delivered-to: jetty-dev@xxxxxxxxxxx
List-archive: <https://www.eclipse.org/mailman/private/jetty-dev/>
List-help: <mailto:jetty-dev-request@eclipse.org?subject=help>
List-subscribe: <https://www.eclipse.org/mailman/listinfo/jetty-dev>, <mailto:jetty-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://www.eclipse.org/mailman/options/jetty-dev>, <mailto:jetty-dev-request@eclipse.org?subject=unsubscribe>

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

Follow-Ups:
- Re: [jetty-dev] Time to change the default branch to `jetty-12.0.x` ?
  - From: Greg Wilkins

References:
- [jetty-dev] Time to change the default branch to `jetty-12.0.x` ?
  - From: Joakim Erdfelt

Prev by Date: [jetty-dev] Time to change the default branch to `jetty-12.0.x` ?
Next by Date: Re: [jetty-dev] Time to change the default branch to `jetty-12.0.x` ?
Previous by thread: [jetty-dev] Time to change the default branch to `jetty-12.0.x` ?
Next by thread: Re: [jetty-dev] Time to change the default branch to `jetty-12.0.x` ?
Index(es):
- Date
- Thread

Breadcrumbs