Merge branch 'Plasma/5.12' into Plasma/5.13
Description
Description
Details
Details
- Committed
hein Jun 19 2018, 11:24 AM - Differential Revision
- D13602: Fix tooltip woes
- Parents
- R119:24803dc9dc40: Fix tooltip woes
R119:21868f438c6e: Update version number for 5.13.1 GIT_SILENT - Branches
- Unknown
- Tags
- References
- tag: v5.13.1
Merged Changes
Merged Changes
| Commit | Author | Details | Committed | |||
|---|---|---|---|---|---|---|
| 24803dc9dc40 | D13602 | hein | Fix tooltip woes | Jun 19 2018 |