Update documentation redirects

Merge pull request #12255 from webknjaz/patch-1 #193

Sign in to view logs

Triggered via push September 6, 2023 07:26

uranusjr

main

Status Success

Total duration 22s

Artifacts –

update-rtd-redirects.yml

on: push

update-rtd-redirects