[galaxy-commits] [hg] galaxy 3708: hotfix history rename