95ee29f4f4
According to the C standard the free(void *ptr) function: if ptr is a null pointer, no action occurs. Signed-off-by: Peter Züger <zueger.peter@icloud.com>