V10.0 BUG / UI / Doc Manager

[daaniyaan]

UI bug that shows duplication of some documentations.

[truell20]

Thanks for reporting this. Will fix.

Seems like it happens when you index two docs with the same starting URL.