Backport to 2.17: Fix dead doc links (#19546)#19659

Merged

huonw merged 2 commits intopantsbuild:2.17.xfrom

mberndt123:2.17.x

Aug 23, 2023

Commits on Aug 23, 2023

Fix dead doc links (#19546)

thejcannon
authored and
mberndt123
committed
Update docs/markdown/Shell/shell.md
huonw
authored