[galaxy-commits] [galaxyproject/galaxy] 031ce6: Fix delete "Collection Only" option in history men...