I20210815-1800
Change-Id: I7899588b6e6b0a4a587c5359d48e2cdc5dca285e Signed-off-by: Rolf Theunissen <rolf.theunissen@gmail.com> Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/184024
Change-Id: I7899588b6e6b0a4a587c5359d48e2cdc5dca285e Signed-off-by: Rolf Theunissen <rolf.theunissen@gmail.com> Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/184024