Merge branch 'Plasma/5.13'
Description
Description
Details
Details
- Committed
hein Jun 19 2018, 11:25 AM - Parents
- R119:99db6b33cdc0: Merge branch 'Plasma/5.12' into Plasma/5.13
R119:ffc6c04fe051: Merge branch 'Plasma/5.13' - Branches
- Unknown
- Tags
Merged Changes
Merged Changes
Commit | Author | Details | Committed | |||
---|---|---|---|---|---|---|
99db6b33cdc0 | D13602 | hein | Merge branch 'Plasma/5.12' into Plasma/5.13 | Jun 19 2018 | ||
24803dc9dc40 | D13602 | hein | Fix tooltip woes | Jun 19 2018 | ||
21868f438c6e | jriddell | Update version number for 5.13.1 GIT_SILENT | Jun 19 2018 | |||
ead2c3e859dc | D13599 | davidedmundson | Ref KConfig whilst we're using it | Jun 19 2018 |