diff options
| author | Luca Deri <lucaderi@users.noreply.github.com> | 2025-01-13 20:13:29 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-13 20:13:29 +0100 |
| commit | 9ab2b31e3fdb6ff39ce50b07139ad9dc3cc99e73 (patch) | |
| tree | 64d2b8dd0cc2c5985d23e86c13e143e4efab6df9 /doc/Makefile | |
| parent | 129955ba2974edb7fb6dc5ab05e97fe82c514ec6 (diff) | |
Fix code scanning alert no. 14: Redundant null check due to previous dereference (#2674)
Co-authored-by: Copilot Autofix powered by AI <62310815+github-advanced-security[bot]@users.noreply.github.com>
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions