Mike Marshall 9bf93dcfc4 Julia Lawall reported this null pointer dereference, this should fix it.
Signed-off-by: Mike Marshall <hubcap@omnibond.com>
2024-02-14 15:57:53 -05:00
..
2023-01-19 09:24:28 +01:00
2023-05-24 08:42:16 -06:00
2018-04-03 21:55:28 -04:00