[galaxy-commits] [galaxyproject/galaxy] 65b2fe: Fix delete option in history menu.