diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2021-08-09 14:49:24 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-08-09 14:49:24 +0200 |
commit | 4c5ce2a345bed2de76c32c48e3ee8a69c2548251 (patch) | |
tree | dc1bd5cce876672507b63cb936c58056785efbf5 /.gitignore | |
parent | 873df3ab03c01e8acbe24fcfd7582f1a079b561e (diff) | |
parent | b2d3976163ef4feaa9881f9dd001ec886f34cde9 (diff) |
Merge pull request #5104 from andir/refscan-race
Fix potential race-condition in reference scanning code
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions