Hi, I would like to push this patch [1] in gnome-documents for today's release. Having spinner working again revealed we never stopped the animation after fading out the loading spinner; this keeps the CPU really busy during normal operations, so it's IMO a severe enough bug to warrant a last minute freeze break - trivial patch attached to the bug.
[1] https://bugzilla.gnome.org/show_bug.cgi?id=684726 Thanks, Cosimo _______________________________________________ release-team@gnome.org https://mail.gnome.org/mailman/listinfo/release-team Release-team lurker? Do NOT participate in discussions.