tree 5ed0638ed2942833b80c199ff4e5eb07c1604ebb
parent ada4b66bc21c70fa62e8af3ab8cd6786f928574a
author Andrey Loskutov <loskutov@gmx.de> 1642004730 +0100
committer Andrey Loskutov <loskutov@gmx.de> 1642006082 -0500

Bug 576736 - try to restart analysis on "resource not found" errors

Change-Id: I233eca934a97ea9d956b676ee1462da67b44bf5c
Signed-off-by: Andrey Loskutov <loskutov@gmx.de>
Reviewed-on: https://git.eclipse.org/r/c/pde/eclipse.pde.ui/+/189551
Tested-by: PDE Bot <pde-bot@eclipse.org>