diff options
| author | Thibault "bui" Koechlin | 2017-10-31 09:54:03 +0100 |
|---|---|---|
| committer | GitHub | 2017-10-31 09:54:03 +0100 |
| commit | 9719aaae6fc426bf6d4de4123e7858737863f1e9 (patch) | |
| tree | 3d027e7752089170019286afc52fb658680d161d /doc/source | |
| parent | 0c77d1dcd817bd159682344d186e920cd8c9c150 (diff) | |
| parent | 040a5c222aa79dd25fcdf284b27109983e7578af (diff) | |
Merge pull request #63 from nbs-system/fix_toctou
Fix a silly TOCTOU to make coverity happy
Diffstat (limited to 'doc/source')
0 files changed, 0 insertions, 0 deletions