[jbosstools-issues] [JBoss JIRA] (JBDS-3253) devstudio.jboss.com/updates/8.0/ says it dontains dev milestones which it should not

devstudio.jboss.com/updates/8.0/ says it dontains dev milestones which it should not ------------------------------------------------------------------------------------ Key: JBDS-3253 URL: https://issues.jboss.org/browse/JBDS-3253 Project: Developer Studio (JBoss Developer Studio) Issue Type: Bug Components: updatesite Affects Versions: 8.0.0.GA Reporter: Martin Malina Assignee: Nick Boldt I was just reviewing Michelle's doc on updating from JBDS 8.0.0 to 8.0.1 (JBQA-11231) and it says you need to make sure this update site is listed in Eclipse: https://devstudio.jboss.com/updates/8.0/ And I verified that this is exactly the update site that is set up automatically when you install JBDS 8.0.0.GA. But that says: This site contains the latest Development Milestone updates for JBoss Developer Studio 8.x. We need an update site with released versions, but milestones. So either just the description is wrong or it's the wrong update site that we use?