[galaxy-dev] [hg] galaxy 2441: Only refresh history if necessary ( better fix...