tree 5e4f1fb6742efb978acd4e3c583a693aabd474a8
parent 661413c2df54089249edf83d095887891cf8f39b
author Kun Zhang <zhangkun83@users.noreply.github.com> 1482355270 -0800
committer GitHub <noreply@github.com> 1482355270 -0800

core: remove a benign data race. (#2546)

This is an alternative to #2543 and it doesn't introduce volatile usage.