rdb 9159fc1029 operator delete should check for null pointer before deallocating ... It is a pervasive belief that using "delete" with a null pointer is safe, so our custom delete operators should also handle this case correctly. This may fix regressions introduced by #934		2020-05-05 18:13:13 +02:00
..
src	operator delete should check for null pointer before deallocating	2020-05-05 18:13:13 +02:00