Revisions №497

branch: interactive/develop 「№497」
Commited by: Andreas Petrides
GitHub commit link: 「e11ab2f74f616271」「№6062」
Difference from previous tested commit: code diff
Commit date: 2022-07-13 14:16:45

Merge pull request #6062 from RosettaCommons/interactive/petrides/puzzle_menu_check_boxes [Foldit] Fix Check Boxes in Puzzle Menu