[galaxy-commits] [hg] galaxy 3673: Fix history renaming on Saved Histories grid