Drop dead log(Exception) helper in WorkbenchActivitySupport#3935

vogella merged 1 commit intoeclipse-platform:mastereclipse-platform/eclipse.platform.ui:masterfrom

vogella:delete-unused-log-methodvogella/eclipse.platform.ui:delete-unused-log-methodCopy head branch name to clipboard