Release I20180823-0430: Bug 537916 - org.eclipse.e4.ui.workbench.lifecycle should be API · eclipse-platform/eclipse.platform.ui

wimjongman tagged this 22 Aug 10:57

Fixed API errors

Change-Id: I7d8706cf799a255fff4e0c0daa06ef0f20083f80
Signed-off-by: Wim Jongman <wim.jongman@remainsoftware.com>

Assets 2

Provide feedback