Re: user32: Some changes in minimizing MDI windows (bug #1719)