Summary: | Update org.eclipse.ui.images to Java 8 | ||
---|---|---|---|
Product: | [Eclipse Project] Platform | Reporter: | Lars Vogel <Lars.Vogel> |
Component: | UI | Assignee: | Lars Vogel <Lars.Vogel> |
Status: | VERIFIED FIXED | QA Contact: | |
Severity: | normal | ||
Priority: | P3 | CC: | Lars.Vogel, loskutov |
Version: | 4.5 | Keywords: | example |
Target Milestone: | 4.5 RC1 | ||
Hardware: | PC | ||
OS: | Linux | ||
See Also: |
https://git.eclipse.org/r/47481 https://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=c0ab1987945edb21a6b0771547ba8bf0652e61fa |
||
Whiteboard: |
Description
Lars Vogel
2015-05-07 14:55:49 EDT
New Gerrit change created: https://git.eclipse.org/r/47481 I'm not sure *who* uses this plugin and if it is shipped with eclipse, what is the value of it? Even if this plugin contains no code but is shipped and somebody downstream depends on it, I don't see the value of breaking that one "just for fun". (In reply to Andrey Loskutov from comment #3) > I'm not sure *who* uses this plugin and if it is shipped with eclipse, what > is the value of it? Thanks for expressing your concern, it should a great sense of quality. Don't worry, this plug-in is used to collect the svg graphics Tony is creating, it is not shipped. Gerrit change https://git.eclipse.org/r/47481 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=c0ab1987945edb21a6b0771547ba8bf0652e61fa . . |