Repository navigation

Port to use Jetty-12 core without servlets - #235

Closed

gregw wants to merge 10 commits into

GoogleCloudPlatform:mainfrom

webtide:jetty-12-no-servlets

Closed

Port to use Jetty-12 core without servlets#235
gregw wants to merge 10 commits into
GoogleCloudPlatform:mainfrom
webtide:jetty-12-no-servlets

Commits on Sep 26, 2023
- chore(implementation)!: use Jetty-12 core without servlets
  gregw
  committed
  5328718
- chore(implementation)!: use Jetty-12 core without servlets
  gregw
  committed
  e8e2d4d
- chore(implementation)!: use Jetty-12 core without servlets
  gregw
  committed
  5417e87
- chore(implementation)!: use Jetty-12 core without servlets
  gregw
  committed
  f292929
- chore(implementation)!: use Jetty-12 core without servlets
  gregw
  committed
  1c14274
- chore(implementation)!: use Jetty-12 core without servlets
  gregw
  committed
  2e99c43
Commits on Sep 27, 2023
- chore(implementation)!: use Jetty-12 core without servlets
  gregw
  committed
  a2f9871
Commits on Sep 22, 2025
- update jetty version to 12.1.1
  lachlan-roberts
  committed
  74eccf0
- Merge remote-tracking branch 'origin/main' into jetty-12-no-servlets
  lachlan-roberts
  committed
  b1566b1
Commits on Sep 24, 2025
- updates to use jetty 12.1.1
  lachlan-roberts
  committed
  d482924