[galaxy-commits] [hg] galaxy 3728: merge