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 /.gitignore | |
| parent | 4d39b4d7f30f2db67a03a45bf35851fa7bbb764d (diff) | |
| parent | 1105354aa3b07b24285dc5e97fbe9bfec573fdec (diff) | |
Merge pull request #11777 from dgquintas/null_userdata_rr
NULL user_data after destruction
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions