diff options
author | Ignacio Etcheverry <neikeq@users.noreply.github.com> | 2016-08-26 19:48:42 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-08-26 19:48:42 +0200 |
commit | 45902931863a6389736749f825aab060b4bc7e04 (patch) | |
tree | dcbe20b2d76218b11e028631ee695097220e2416 /platform | |
parent | 9c6175db11ff72603ae58789a462b33ec1e910f8 (diff) | |
parent | b81725b203cfceefd8577cf2ec4ca9dd0d618869 (diff) |
Merge pull request #6269 from neikeq/pr-doc-null
DocData: Fix null reference not detected correctly
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions