[galaxy-commits] galaxy-dist commit 91d047183110: Fix bug that prevented correct toggling of recently used menu.