On Sun, Jul 24, 2016 at 7:42 AM, Sudhir Khanger <ml@sudhirkhanger.com> wrote:
On Sunday 24 July 2016 7:10:05 AM IST Rex Dieter wrote:
> Yes, the default kwin decoration was inadvertently set to plastique in
> kwin-5.7.1.  We found the cause and fixed it in kwin-5.7.2-2

Is the broken kwin-5.7.1 package still going to be pushed to stable?

ROFL... I just realized that kwin decoration was different... DUH!  Easy enough to 
change back.  IMO this isn't enough of a fubar to stop the push.  It's just cosmetic.  
People who it would bother most likely will know how to fix it.