| Summary: | [code mining] Improve text for "general" section in Code Minings preference page | ||
|---|---|---|---|
| Product: | [Eclipse Project] JDT | Reporter: | Vikas Chandra <Vikas.Chandra> |
| Component: | UI | Assignee: | Mickael Istria <mistria> |
| Status: | VERIFIED FIXED | QA Contact: | |
| Severity: | enhancement | ||
| Priority: | P3 | CC: | daniel_megert, mistria, noopur_gupta |
| Version: | 4.10 | Flags: | noopur_gupta:
review+
|
| Target Milestone: | 4.10 RC1 | ||
| Hardware: | All | ||
| OS: | All | ||
| See Also: |
https://git.eclipse.org/r/132863 https://git.eclipse.org/c/jdt/eclipse.jdt.ui.git/commit/?id=fbffda96f908f514a03a0413e7d8f3d8a99b74ed |
||
| Whiteboard: | |||
| Bug Depends on: | 529127 | ||
| Bug Blocks: | |||
|
Description
Vikas Chandra
New Gerrit change created: https://git.eclipse.org/r/132863 Gerrit change https://git.eclipse.org/r/132863 was merged to [master]. Commit: http://git.eclipse.org/c/jdt/eclipse.jdt.ui.git/commit/?id=fbffda96f908f514a03a0413e7d8f3d8a99b74ed (In reply to Eclipse Genie from comment #2) > Gerrit change https://git.eclipse.org/r/132863 was merged to [master]. > Commit: > http://git.eclipse.org/c/jdt/eclipse.jdt.ui.git/commit/?id=fbffda96f908f514a03a0413e7d8f3d8a99b74ed Released for RC1. Approving for RC1. verified on Version: 2018-12 (4.10) Build id: I20181125-0600 |