Community
Participate
Working Groups
See Bug 479879. I will also mainly use search and replace.
New Gerrit change created: https://git.eclipse.org/r/58313
New Gerrit change created: https://git.eclipse.org/r/58314
Gerrit change https://git.eclipse.org/r/58313 was merged to [master]. Commit: http://git.eclipse.org/c/pde/eclipse.pde.ui.git/commit/?id=c316b0ed035cfa571a5edf31c143637c28cee313
Gerrit change https://git.eclipse.org/r/58314 was merged to [master]. Commit: http://git.eclipse.org/c/pde/eclipse.pde.ui.git/commit/?id=941bd1e7c9177138f74cd626222d129542b28ff3
.
Is this resolved? If yes can you please move it to resolved state.
Tested with 4.6.0.I20151026-2000 and activated API baseline. Cancelled several times the build without any issues. In general the build process feels much faster, also cancelling feels faster but that might be subjective.