Revisions №60811

branch: master 「№60811」
Commited by: Sergey Lyskov
GitHub commit link: 「99dddf75711453ba」「№4046」
Difference from previous tested commit: code diff
Commit date: 2019-06-28 14:57:34

Merge pull request #4046 from RosettaCommons/revert-4044-revert-4004-vmullig/threadsafe_options_system Re-merge "Make the options system threadsafe"

Summary

...