[galaxy-commits] commit/galaxy-central: jgoecks: Fix bug in recently used tool submenu that was caused by changeset 4967:d6559b2d69fc