| Summary: | [codemining] Setting new code mining providers can lead former ones to exception | ||
|---|---|---|---|
| Product: | [Eclipse Project] Platform | Reporter: | Angelo ZERR <azerr> |
| Component: | Text | Assignee: | Angelo ZERR <azerr> |
| Status: | RESOLVED FIXED | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | CC: | mistria |
| Version: | 4.8 | ||
| Target Milestone: | 4.10 M3 | ||
| Hardware: | All | ||
| OS: | All | ||
| See Also: |
https://git.eclipse.org/r/132166 https://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/?id=f5e429604d63d8b053effc10503065c3eb00923c |
||
| Whiteboard: | |||
| Bug Depends on: | |||
| Bug Blocks: | 529127 | ||
|
Description
Angelo ZERR
New Gerrit change created: https://git.eclipse.org/r/132166 Gerrit change https://git.eclipse.org/r/132166 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/?id=f5e429604d63d8b053effc10503065c3eb00923c This patch should fix it. Thanks Angelo! Thanks a lot @Mickael! |