Commit 1d7966df150eac7e5bfc98c84d5ce0327f33dccc

Sylvain 2022-11-16T21:27:16

Remove un-needed check for NULL pointer. They were previously checked just before.