[jbosstools-issues] [JBoss JIRA] (JBTIS-510) did JBDS IS 8.0.3 never graduate from Early Access?

did JBDS IS 8.0.3 never graduate from Early Access? --------------------------------------------------- Key: JBTIS-510 URL: https://issues.jboss.org/browse/JBTIS-510 Project: JBoss Tools Integration Stack Issue Type: Sub-task Components: distribution Affects Versions: 8.0.3.GA Reporter: Nick Boldt Assignee: Paul Leacu Attachments: jbdsis803-still-ea.png On Aug 27, [~pleacu] sent a note to jbds-is-pm-list(a)redhat.com, soa-tools-list(a)redhat.com, jbosstools-dev(a)lists.jboss.org, jboss-qe-leads(a)redhat.com announcing, "JBDSIS 8.0.3.GA/ JBTIS 4.2.3.Final now live". But when I look at https://devstudio.redhat.com/updates/8.0/ I see no JBDS 8.0.3 content. Instead, this content remains on https://devstudio.redhat.com/earlyaccess/8.0/ Is that what we intended to happen?