Eugen Wissner d30de300d6 Fix slicing a null pointer when deallocating		2018-02-25 11:09:57 +01:00
..
tanya	Fix slicing a null pointer when deallocating	2018-02-25 11:09:57 +01:00