cond_var #42

Merged
andrey merged 2 commits from cond_var into master 2020-09-25 13:34:21 +03:00