Revert "Merge branch 'cherry-pick-9cf4ae48' into 'releases/2.6'" (!43) · Merge requests · staging / dune-typetree · GitLab

Steffen Müthing requested to merge revert-f7590080 into master Jun 05, 2018

Just returning LeafNode from the child() method doesn't help anyone...

This reverts merge request !42 (merged)