diff options
author | Andrey Andreev <narf@devilix.net> | 2017-07-06 10:49:13 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-07-06 10:49:13 +0200 |
commit | 4bda6f7fdbead56108c4377ae53db8089f10d933 (patch) | |
tree | a899e7ae6d194e017f7839787df1a2972afdd0a1 /.gitignore | |
parent | 5b5e053b95a586c3c278e8d7c9d55c2459ed0908 (diff) | |
parent | 24e91311bd86b9eddb9ffb2d4b6ab78bf19796c2 (diff) |
[ci skip] Merge pull request #5170 from tianhe1986/develop_session_race_condition
Decreasing the probability of race condition in session lock
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions