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