Scidavis 0.2.4 was released! Could someone bump it please? Reproducible: Always
Thanks for the release notification, assigning to maintainers.
In the tree, thanks for reporting.