[galaxy-dev] [hg] galaxy 3021: Applied patch provided by Brad Chapman in the ...