[galaxy-dev] [hg] galaxy 1514: New tool to format short read mapping data as ...