diff options
author | Poommetee Ketson <poommetee@protonmail.com> | 2017-12-01 11:26:02 +0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-12-01 11:26:02 +0700 |
commit | 643200c4d24e2b4479c17bbc1a3d176e3e51d95f (patch) | |
tree | 552a6890e71fa27153fd2d1e16c72f59f1a4b135 /doc/tools/doc_status.py | |
parent | d2e05b6e9bca9fcc9b7acaa74b4dbc7602982bbc (diff) | |
parent | 2336927043db918167c851dcfe41dc15ffff72b2 (diff) |
Merge pull request #13417 from AndreaCatania/patch-1
Fixed bullet server null pointer check
Diffstat (limited to 'doc/tools/doc_status.py')
0 files changed, 0 insertions, 0 deletions