[galaxy-commits] [hg] galaxy 3808: Branch merge