OpenOLAT 12.5.2 released