[cross-project-issues-dev] 2023-09 GA

[Ed Merks <ed.merks@xxxxxxxxx>]

The 2023-09 release is generally available:

  https://www.eclipse.org/downloads/
  https://www.eclipse.org/downloads/packages/
  https://www.eclipse.org/downloads/packages/release/2023-09/r

Staging for 2023-12 has started:

  https://download.eclipse.org/staging/2023-12/

The https://download.eclipse.org/releases/2023-12/ repo already exists 
and simply composes the https://download.eclipse.org/releases/2023-09/ 
repo until 2023-12 M1 is created.

Thanks to everyone involved!!