Mutter 3.25.2 Has Bug Fixes, Some Performance Work

Florian Mi1/4llner has pushed out an updated Mutter 3.25.2 window manager / compositor release in time for the GNOME 3.25.2 milestone in the road to this September's GNOME 3.26 release...