[galaxy-commits] [hg] galaxy 3787: Fixes for editing tool information and submitt...