Fixing sychronization and concurrency issues#123
Merged
stefan-niedermann merged 28 commits intoAug 13, 2016
Commits
Commits on Jun 26, 2016
Commits on Jun 29, 2016
Commits on Jul 1, 2016
Commits on Jul 2, 2016
Commits on Jul 5, 2016
Commits on Jul 10, 2016
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jul 12, 2016
Commits on Jul 13, 2016
- committed
- committed