[galaxy-dev] July 2015 Galaxy Release (v 15.07)