I20210328-1800
Required for https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/178463 Change-Id: I2e2946357244e89c49c8e36ff97f97e78cad1743 Signed-off-by: Rolf Theunissen <rolf.theunissen@gmail.com>
Required for https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/178463 Change-Id: I2e2946357244e89c49c8e36ff97f97e78cad1743 Signed-off-by: Rolf Theunissen <rolf.theunissen@gmail.com>