Merge pull request #5992 from RosettaCommons/koepnick/foldit_hotkey_addsan [Foldit] Fix for address sanitizer issue