Commit 1cc8e7f9595db4aa8d3e79361376d1a0e7064635

Stefan Sperling 2018-03-15T00:31:05

remove a useless and leaky allocation