Commit 8eecaf36f67e6c52dd667a6b96155045a7d6498d

Stefan Sperling 2019-05-09T16:18:14

don't close a tree in the wrong place; fixes a bus error crash