Community
Participate
Working Groups
related to https://bugs.eclipse.org/bugs/show_bug.cgi?id=539014. Add the same for Table please.
FYI: I'am currently working on that.
New Gerrit change created: https://git.eclipse.org/r/137033
New Gerrit change created: https://git.eclipse.org/r/137032
I gave my 1+ for: https://git.eclipse.org/r/137032 https://git.eclipse.org/r/137033 https://git.eclipse.org/r/137017 Can they be merged for RC1? Until we merge the gerrit in https://bugs.eclipse.org/bugs/show_bug.cgi?id=544489 the code is not used in platform. So I think the risk of merging them is minimal. What do you think?
(In reply to Matthias Becker from comment #4) > I gave my 1+ for: > > https://git.eclipse.org/r/137032 > https://git.eclipse.org/r/137033 > https://git.eclipse.org/r/137017 > > Can they be merged for RC1? Definitely not before master is open again after declaring M3.
(In reply to Dani Megert from comment #5) > (In reply to Matthias Becker from comment #4) > > I gave my 1+ for: > > > > https://git.eclipse.org/r/137032 > > https://git.eclipse.org/r/137033 > > https://git.eclipse.org/r/137017 > > > > Can they be merged for RC1? > Definitely not before master is open again after declaring M3. So master ist open for RC1. Can I merge these changes now?
(In reply to Matthias Becker from comment #6) > So master ist open for RC1. Can I merge these changes now? IMHO +1, as they are not yet API.
Gerrit change https://git.eclipse.org/r/137017 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=0a6a909a8de2593e7b6eb18080f1062677512070
Gerrit change https://git.eclipse.org/r/137032 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=8917477118d5be03c48ad67a7a04654af7e0c0b1
Gerrit change https://git.eclipse.org/r/137033 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=c9556698bdbbc0e4a0af88a33ea126fcfc4335ea
Thank you marcus for your help.