Skip to content

Update _toc.json to remove duplication#5097

Merged
abbycross merged 1 commit into
mainfrom
ajc/fix-toc
May 13, 2026
Merged

Update _toc.json to remove duplication#5097
abbycross merged 1 commit into
mainfrom
ajc/fix-toc

Conversation

@abbycross
Copy link
Copy Markdown
Collaborator

Fixes #5096

An entry in the toc was inadvertently added back in #4640. Removing it

@abbycross abbycross added this pull request to the merge queue May 13, 2026
Merged via the queue into main with commit 3462435 May 13, 2026
5 of 6 checks passed
@abbycross abbycross deleted the ajc/fix-toc branch May 13, 2026 15:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

Duplicate links on the left nav

2 participants