Merge branch 'bugfix/issue-53-uggrid-intersections' into 'master' (!153) · Merge requests · Core Modules / dune-grid · GitLab

Ansgar Burchardt requested to merge cherry-pick-a4de6c24 into releases/2.5 Feb 17, 2017

UGGrid: append to-be-visited sons at the end of the list

Closes #53 (closed)

See merge request !150 (merged)