Release 1.2.5

Das Release 1.2.5 wurde im September 2023 veröffentlicht. Dieses Release umfasst:

  • Kleinere Optimierungen im Code