Summary of changes: 819ab48... Store position of widgets in vertical Grouping Panel (#8798 (*) d1519df... 4.9.4 (*) 5b8c8e7... drop, it's included in upstream (*) dcee82e... 4.9.5 (*) f5fa5df... Merge branch 'master' into f18 (*) (*) This commit already existed in another branch; no separate mail sent