[galaxy-commits] commit/galaxy-central: greg: Fix type introduced in renaming the InstallManager to the ToolMigrationManager - thanks Nicola Soranzo.