PR #4800 fix link in menu docs

fix link in menu docs #4800

yihuiliao merged 2 commits into main from menu-fix-link

fix link in menu docs

4d8d1a30

reidbarber approved these changes on 2023-07-20

devongovett approved these changes on 2023-07-21

Merge branch 'main' into menu-fix-link

675965b7

yihuiliao merged 62a6f175 into main 2 years ago

yihuiliao deleted the menu-fix-link branch 2 years ago

Reviewers

devongovett

reidbarber

Assignees

No one assigned

Labels

None yet

Milestone

No milestone