doc: add added: information for path - #6985
Closed
julianduque wants to merge 1 commit into
Closed
julianduque wants to merge 1 commit into
julianduque wants to merge 1 commit into
added: information for path - #6985