Merge branch 'Plasma/5.12' into Plasma/5.14

Authored by fvogt on Dec 5 2018, 9:54 AM.

Description

Merge branch 'Plasma/5.12' into Plasma/5.14

Details

Committed
fvogtDec 5 2018, 9:54 AM
Parents
R119:3526334e8234: Round label width
R119:78da28e7ab7d: Merge branch 'Plasma/5.12' into Plasma/5.14
Branches
Unknown
Tags
Unknown

Merged Changes

CommitAuthorDetailsCommitted
3526334e8234D17365fvogt
Round label width 
Dec 5 2018