jboss-developer/www.jboss.org — pull request #206 by paulrobinson (2014-05-28 11:53:18+00:00)
Title: Updated production profile to use the www.jboss.org download manager

Don't merge until www.jboss.org/download-manager is ready.