Update documentation redirects

Merge pull request #12225 from ddelange/filter-available-versions #186

Sign in to view logs

Triggered via push August 28, 2023 09:48

uranusjr

main

Status Success

Total duration 28s

Artifacts –

update-rtd-redirects.yml

on: push

update-rtd-redirects