[galaxy-commits] commit/galaxy-central: greg: When getting updates to an installed tool shed repository that contains tools, automatically load any updated tools into the Galaxy tool panel.