Merge branch 'parent-iname-domain-tree' into 'master'
Only consider the parent's inames in deciding parent relation in domain tree (Fixes #78 on Github) See merge request !79
Only consider the parent's inames in deciding parent relation in domain tree (Fixes #78 on Github) See merge request !79