[ https://issues.jboss.org/browse/JBDS-3611?page=com.atlassian.jira.plugin.... ] Nick Boldt commented on JBDS-3611: ---------------------------------- Unclear what needs to be done here. [~xcoulon] [~maxandersen] [~akazakov] can you flesh out where this branding change would happen on tools.jboss.org? Will we just change the "JBoss Tools" header [1] to the new one on devstudio.redhat.com [2] ? [1] http://tools.jboss.org/downloads/ [2] https://devstudio.jboss.com/10.0/staging/updates/ Or is there more we need to do here? -- This message was sent by Atlassian JIRA (v6.4.11#64026)