| Summary: | [launch config] redundant refresh of Plugins tree | ||
|---|---|---|---|
| Product: | [Eclipse Project] PDE | Reporter: | Julian Honnen <julian.honnen> |
| Component: | UI | Assignee: | Julian Honnen <julian.honnen> |
| Status: | VERIFIED FIXED | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | ||
| Version: | 4.16 | ||
| Target Milestone: | 4.17 M1 | ||
| Hardware: | All | ||
| OS: | All | ||
| See Also: |
https://git.eclipse.org/r/164961 https://git.eclipse.org/c/pde/eclipse.pde.ui.git/commit/?id=712f656b63c4583aa69b56416a2a7d3428ed4ad2 |
||
| Whiteboard: | |||
| Bug Depends on: | |||
| Bug Blocks: | 565105 | ||
|
Description
Julian Honnen
New Gerrit change created: https://git.eclipse.org/r/164961 Gerrit change https://git.eclipse.org/r/164961 was merged to [master]. Commit: http://git.eclipse.org/c/pde/eclipse.pde.ui.git/commit/?id=712f656b63c4583aa69b56416a2a7d3428ed4ad2 Julian, can you please verify the bug. verified with I20200706-2300 |