Summary: | Update documentation | ||
---|---|---|---|
Product: | [Eclipse Project] Platform | Reporter: | Patrik Suzzi <psuzzi> |
Component: | UI | Assignee: | Michael Keppler <michael.keppler> |
Status: | RESOLVED FIXED | QA Contact: | |
Severity: | normal | ||
Priority: | P3 | CC: | Lars.Vogel |
Version: | 4.7 | Keywords: | bugday |
Target Milestone: | 4.9 M2 | ||
Hardware: | PC | ||
OS: | Windows 10 | ||
See Also: |
https://git.eclipse.org/r/124630 https://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=5cc6deb2c59b6282f7ee2bb8ccea4918838f27d9 |
||
Whiteboard: |
Description
Patrik Suzzi
2017-02-01 19:44:45 EST
New Gerrit change created: https://git.eclipse.org/r/124630 Thanks, Michael. Gerrit change https://git.eclipse.org/r/124630 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=5cc6deb2c59b6282f7ee2bb8ccea4918838f27d9 |