Merge branch 'Plasma/5.15'

Authored by sitter on Mar 21 2019, 11:08 AM.

Description

Merge branch 'Plasma/5.15'

Merged Changes

CommitAuthorDetailsCommitted
cc640cea3e9cD19390sitter
adjust the size of the window after the labels sizes were changed 
Mar 21 2019
73b43c8ba652jriddell
Update version number for 5.15.3 GIT_SILENT 
Mar 12 2019