Skip to content

Fix for red spinner: now not displayed by default#671

Merged
GrosPoulet merged 1 commit intoextesy:masterfrom GrosPoulet:masterJan 29, 2021