diff options
author | David G. Quintas <dgq@google.com> | 2017-07-12 14:41:55 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-07-12 14:41:55 -0700 |
commit | 1bec15ee9ef622a440f7e7c658f94febc075f6ec (patch) | |
tree | d5157bf2957f2ea8426032ef1ba3b943c4c7b4b6 /vsprojects/.gitignore | |
parent | 4d39b4d7f30f2db67a03a45bf35851fa7bbb764d (diff) | |
parent | 1105354aa3b07b24285dc5e97fbe9bfec573fdec (diff) |
Merge pull request #11777 from dgquintas/null_userdata_rr
NULL user_data after destruction
Diffstat (limited to 'vsprojects/.gitignore')
0 files changed, 0 insertions, 0 deletions