Community
Participate
Working Groups
installCodeMinigProviders => installCodeMiningProviders
New Gerrit change created: https://git.eclipse.org/r/119861
Gerrit change https://git.eclipse.org/r/119861 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/?id=d99351522be1274c8a7fcd6118aea92023f13c23
(In reply to Eclipse Genie from comment #1) > New Gerrit change created: https://git.eclipse.org/r/119861 The rename is an API change. Given this is new in 4.8, I approve this.
See bug 530825 comment #27.
New Gerrit change created: https://git.eclipse.org/r/119931
Gerrit change https://git.eclipse.org/r/119931 was merged to [master]. Commit: http://git.eclipse.org/c/jdt/eclipse.jdt.ui.git/commit/?id=11f111172d18953f3539d2f1f99a28c5041d8fcb
*** Bug 532739 has been marked as a duplicate of this bug. ***
(In reply to Eclipse Genie from comment #6) > Gerrit change https://git.eclipse.org/r/119931 was merged to [master]. > Commit: > http://git.eclipse.org/c/jdt/eclipse.jdt.ui.git/commit/?id=11f111172d18953f3539d2f1f99a28c5041d8fcb > Thanks!