Merge pull request #2458 from gabrieldemarmiesse/redirection_when_building_docs
Avoid being redirected every time the doc is being built.
Showing
Please register or sign in to comment
Avoid being redirected every time the doc is being built.