I20200910-0100
tagged this
10 Sep 05:03
Required for https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/169115 Change-Id: I3b07b68e017e297a2c63d9e25735e1edb5fb1dd1 Signed-off-by: Karsten Thoms <karsten.thoms@karakun.com>