List view

• 7.1

  No due date

  •12/12 issues closed
  100% complete0 open12 closed

• Java 17

  Things to do with updating the basic language profile of Java we use (see #735). The world evolves, so must we.

  No due date

  •3/3 issues closed
  100% complete0 open3 closed

• Bluesky

  Sometime, never?

  No due date

  •9/16 issues closed
  56% complete7 open9 closed