Skip to content

Fix param annotation#39

Merged
babenkoivan merged 1 commit intobabenkoivan:masterfrom
sventendo:cleanup/document-manager-annotation
Feb 15, 2026
Merged

Fix param annotation#39
babenkoivan merged 1 commit intobabenkoivan:masterfrom
sventendo:cleanup/document-manager-annotation

Conversation

@sventendo
Copy link
Copy Markdown

This a small QOL change.

@babenkoivan babenkoivan merged commit dad2c57 into babenkoivan:master Feb 15, 2026
3 checks passed
@babenkoivan
Copy link
Copy Markdown
Owner

Hi @sventendo, thank you for the PR! I've merged it and it should be now available in v5.0.2.

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