Dear all, We'll do a quick release now before the workshop. This is a bit unfair at such short notice. We'd normally plan a bit and give people some time to finish merge requests and so on. But I hope (as always) that we can increase the overall frequency of releases so this won't matter in the future. Best regards Ask