Merge branch '5.1'
Description
Description
Details
Details
- Committed
mwolff Feb 20 2017, 8:46 PM - Parents
- R33:587972c81924: Remove useless code
R33:9e440fc3f5ac: Trim identifiers before triggering rename action - Branches
- Unknown
- Tags
Merged Changes
Merged Changes
Commit | Author | Details | Committed | |||
---|---|---|---|---|---|---|
9e440fc3f5ac | mwolff | Trim identifiers before triggering rename action | Feb 20 2017 | |||
42503e8640ae | flherne | Update tab colors when the palette changes | Feb 20 2017 | |||
f476c67c80ab | kfunk | Minor: Silence warning | Feb 17 2017 |