[galaxy-commits] commit/galaxy-central: greg: Fix for allowing the Galaxy admin to select a tool panel section when installing a repository that contains no tools but has repository dependencies that contain tools.