diff options
| author | Bastien JAUNY <bastien.jauny@gmail.com> | 2021-10-23 16:22:29 +0200 |
|---|---|---|
| committer | Bastien JAUNY <bastien.jauny@gmail.com> | 2021-10-27 20:41:14 +0200 |
| commit | 258b5d001968aea99d2d7a2eea98a8032da34349 (patch) | |
| tree | 14e687ea80855542078fde534e5d554e62462623 /doc/tools/make_rst.py | |
| parent | 2a28df82d4979c3ca77c16ee9ae64c5a4f50a925 (diff) | |
Fix potential null pointer use, based on #54094 fix
Diffstat (limited to 'doc/tools/make_rst.py')
0 files changed, 0 insertions, 0 deletions