[galaxy-dev] [hg] galaxy 3519: merge with 3518:0c9e154e9176