[jbosstools-issues] [JBoss JIRA] (JBDS-2093) Old product version after JBDS 4.1.3 update

[ https://issues.jboss.org/browse/JBDS-2093?page=com.atlassian.jira.plugin.... ] Nick Boldt edited comment on JBDS-2093 at 4/17/12 10:34 AM: ------------------------------------------------------------ Verified as shown on Check for Updates view: !jbds4.1.3-mislabelled-as-4.1.2.png! Forgot to update a file after we released 4.1.2. Committed, respinning: https://hudson.qa.jboss.com/hudson/job/devstudio-4.1_stable_branch.product/ >=780 was (Author: nickboldt): Verified as shown on Check for Updates view: !Screenshot-1.png! Forgot to update a file after we released 4.1.2. Committed, respinning: https://hudson.qa.jboss.com/hudson/job/devstudio-4.1_stable_branch.product/ >=780 -- This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators: https://issues.jboss.org/secure/ContactAdministrators!default.jspa For more information on JIRA, see: http://www.atlassian.com/software/jira