Skip to content

I20220212-0140

I20220212-0140: Bug 578706 - "Failed to save JDT index" error on deleted index
@iloveeclipse iloveeclipse tagged this 11 Feb 19:47 
Avoid saving deleted index and don't report error if that was not
possible to avoid.

Change-Id: I35328d8b9e5282718e9e6e4640f0559521b4139c
Reviewed-on: https://git.eclipse.org/r/c/jdt/eclipse.jdt.core/+/190733
Tested-by: JDT Bot <jdt-bot@eclipse.org>
Reviewed-by: Andrey Loskutov <loskutov@gmx.de>
Assets 2
Loading