Skip to content

Addr #3: doc index redirects

Raymond Toy requested to merge addr-issue-3-doc-index-redirects into master

Update permanent redirects in doc/index.html

Merge request reports