Addon-Docs: Handle leaf/non-leaf mixture in docs-mode navigation#9321

Merged

shilman merged 5 commits intonextfrom 9314-collapse-mixed-leaves-non-leaves

Jan 7, 2020

+62-16

Commits on Jan 4, 2020

Improve error message and add test case
shilman
committed

Commits on Jan 6, 2020