Conversation
dc064ce to
eb83ea6
Compare
|
This pull request changes some projects for the first time in this development cycle. An additional commit containing all the necessary changes was pushed to the top of this PR's branch. To obtain these changes (for example if you want to push more changes) either fetch from your fork or apply the git patch. Git patchFurther information are available in Common Build Issues - Missing version increments. |
Contributes to: eclipse-pde#1927
57ac72c to
398c215
Compare
|
+1 |
|
@HannesWell: Can you pls. merge if this change is ok? |
Sorry, did not see this comment. I can revert, if the approval from @HannesWell should be awaited |
|
@vogella: I wasn't aware that you also have committer rights on PDE. I was just looking for somebody that is a PDE committer. |
|
Yes, I was going to merge this as well, but I see it's done. |
For me it's fine. The project Thanks for that clean-up and sorry for the slow response. |
Contributes to: #1927