Skip to content

Documentation fixes - #251

Merged
ids1024 merged 3 commits into
masterfrom
doc
Oct 1, 2026
Merged

ids1024 merged 3 commits into
masterfrom
doc

Conversation

@ids1024

@ids1024 ids1024 commented Oct 1, 2026

Copy link
Copy Markdown
Member

No description provided.

5a29549 appears to have merged this
with `::remove`.
Using type alias here just shows it as a type alias without any further
information on the underlying type.
@ids1024
ids1024 merged commit 0737f83 into master Oct 1, 2026
9 checks passed
@ids1024
ids1024 deleted the doc branch October 1, 2026 21:15
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.

1 participant