Bump o.e.ui.themes to 1.3.0#3839

akurtakov merged 1 commit into

eclipse-platform:mastereclipse-platform/eclipse.platform.ui:masterfrom

akurtakov:masterakurtakov/eclipse.platform.ui:masterCopy head branch name to clipboard