[galaxy-commits] commit/galaxy-central: greg: Change the tool shed grid ToolsFunctionallyCorrectColumn column type.