diff options
| author | nicm <nicm> | 2022-01-17 10:40:03 +0000 |
|---|---|---|
| committer | nicm <nicm> | 2022-01-17 10:40:03 +0000 |
| commit | a6b361e775e0bf6301284391e75dd9af7af340da (patch) | |
| tree | 0058127cb014ec81e10131f7e22d7f0ed3ea6128 /menu.c | |
| parent | b2b94dcba73a62e2949fb98aee097dbaea658760 (diff) | |
Do not try to strdup NULL, from seL4 at disroot dot org in GitHub issue
3038.
Diffstat (limited to 'menu.c')
0 files changed, 0 insertions, 0 deletions