Remove a micro-optimization, which was causing a race condition.#2856

Merged

manishrjain merged 2 commits intomasterfrom mrjn/concurrent-facet

Dec 31, 2018

+4-11

Commits on Dec 30, 2018

Remove a micro-optimization, which was causing a race condition.
manishrjain
committed

Commits on Dec 31, 2018

Merge branch 'master' into mrjn/concurrent-facet
manishrjain
committed