diff options
| author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-08-03 09:14:35 +0200 |
|---|---|---|
| committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-08-03 09:14:35 +0200 |
| commit | 010e8625ace3bbbfd09b7946237e8f3f04159452 (patch) | |
| tree | 48e73b0d91f40ea593cbec4a0323518d91570628 /.github/next_release.md | |
| parent | c3a4fc7bdcc69a5d56761c67a77c7e5b6ff6d1ee (diff) | |
code review: no need to test if pointer is NULL
Diffstat (limited to '.github/next_release.md')
0 files changed, 0 insertions, 0 deletions