OSDN Git Service

Merge pull request #1339 from Bytom/fix-bug
authorPaladz <yzhu101@uottawa.ca>
Wed, 12 Sep 2018 07:01:03 +0000 (15:01 +0800)
committerGitHub <noreply@github.com>
Wed, 12 Sep 2018 07:01:03 +0000 (15:01 +0800)
fix bug for concurrent map access


Trivial merge