Krzysztof Budzynski 45ba00544a Merge branch 'contrib/github_pr_9357' into 'master' %!s(int64=3) %!d(string=hai) anos
..
user-guide-devkitc-1-v1.0.rst a664eb9e5a docs:update s3-devkitc-1 user guide v1.1 %!s(int64=3) %!d(string=hai) anos
user-guide-devkitc-1.rst 45ba00544a Merge branch 'contrib/github_pr_9357' into 'master' %!s(int64=3) %!d(string=hai) anos
user-guide-devkitm-1.rst 030cb77597 docs: update redirected links %!s(int64=3) %!d(string=hai) anos