Revisions №387

branch: interactive/develop 「№387」
Commited by: Rocco Moretti
GitHub commit link: 「f5641408f929f78b」「№5757」
Difference from previous tested commit: code diff
Commit date: 2021-12-10 10:53:53

Merge pull request #5757 from RosettaCommons/rocccomoretti/interactive_fix_tips [Foldit] Fix the loading tips for the updated GUI. (No release notes on this one -- it's not really something we need to draw attention to.)