Nov 04, 2013 Galaxy Distribution
**Complete [News Brief](http://wiki.galaxyproject.org/DevNewsBriefs/2013-11-04)**
**Highlights:**
**Highlights:**
- A security vulnerability with filter tools trapped and fixed: Upgrade or Patch NOW
- Galaxy Tool Migration: 48 tools migrated to Tool Shed for a leaner distribution.
- Improved tools for administrators (email verification, reports).
- The framework for Tools, Visualizations, and the Core have been upgraded for performance and scalability.
- Come see! A whopping 26 pull requests incorporated!. Many thanks to our open source community!
- Numerous Tool Shed enhancements and upgrades: API,
READMEs
, Functional Tests, easier installs, and much much more. - Plus enhancements to Workflows, API, CloudLaunch, UI, and Bug Fixes.
http://bitbucket.org/galaxy/galaxy-dist
http://galaxy-dist.readthedocs.org
new: $ hg clone https://bitbucket.org/galaxy/galaxy-dist#stable
upgrade: $ hg pull
$ hg update release_2013.11.04
Thanks for using Galaxy!