Revisions №437

branch: interactive/develop 「№437」
Commited by: Josh Aaron Miller
GitHub commit link: 「285dfe66a4556b42」「№5890」
Difference from previous tested commit: code diff
Commit date: 2022-03-09 13:00:12

Merge pull request #5890 from RosettaCommons/joshmiller/options-menu-button [Foldit] Hotfix to show options menu when options button clicked No release notes

Summary

...