tree c5c781a3a70398785b4ad2897e086284e7c2e857
parent 150be48b767c420535905e14f21822823fe04e81
author Andrey Loskutov <loskutov@gmx.de> 1644857892 +0100
committer Andrey Loskutov <loskutov@gmx.de> 1644859387 -0500

Bug 507546 - fixed IllegalArgumentException on code mining dispose

Change-Id: Ia1ae9e513b023fc33026a6cdd73d2fd16159bdbb
Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.debug/+/190795
Tested-by: Andrey Loskutov <loskutov@gmx.de>
Reviewed-by: Andrey Loskutov <loskutov@gmx.de>