Release:Neu in Version 9.35: Unterschied zwischen den Versionen

Version vom 18. Juli 2023, 11:25 Uhr

Version vom 18. Juli 2023, 11:25 Uhr (Quelltext anzeigen) Margit (Diskussion \| Beiträge) Keine Bearbeitungszusammenfassung Markierung: 2017-Quelltext-Bearbeitung ← Zum vorherigen Versionsunterschied		Version vom 18. Juli 2023, 11:25 Uhr (Quelltext anzeigen) Margit (Diskussion \| Beiträge) Keine Bearbeitungszusammenfassung Markierung: 2017-Quelltext-Bearbeitung Zum nächsten Versionsunterschied →
Zeile 1:		Zeile 1:
	{{#vardefine:version\|9-35\|}}		{{#vardefine:version\|9-35\|}}
	{{Release\|suffix=~~/~~ 9.36}}		{{Release\|suffix= - 9.36}}