Skip to content

chore: remove residual aside from exit codes page#1808

Merged
novusnota merged 1 commit intomainfrom
follow-up-to-1465
Feb 9, 2026
Merged

chore: remove residual aside from exit codes page#1808
novusnota merged 1 commit intomainfrom
follow-up-to-1465

Conversation

@novusnota
Copy link
Collaborator

@novusnota novusnota commented Feb 9, 2026

Towards #1465 — code examples were changed to Tolk there, but this Aside was not removed, so this PR fixes that.

Copy link
Contributor

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

No documentation issues detected.

@novusnota novusnota merged commit 1dd242d into main Feb 9, 2026
14 checks passed
@novusnota novusnota deleted the follow-up-to-1465 branch February 9, 2026 09:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants