diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-12-09 10:23:21 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-09 10:23:21 +0100 |
| commit | 0c5d3b838c935e6121bcee57b83fa802d7058cc1 (patch) | |
| tree | de206bf06d4f6fb280a427a2a907de93f0043bed /doc | |
| parent | e5e1277ecd08f1f2980c9cd0490fb932efaa4678 (diff) | |
| parent | 644f73966002589c36d779fa33b9524a451f56e0 (diff) | |
Merge pull request #44199 from bruvzg/pvs_fixes_1
PVS-Studio static analyzer fixes
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions