Skip to content

fix: Preserve decorated symbol types in docs_group and docs_name#964

Merged
vdusek merged 1 commit into
masterfrom
fix/docs-decorators-type-erasure
Jun 12, 2026
Merged

fix: Preserve decorated symbol types in docs_group and docs_name#964
vdusek merged 1 commit into
masterfrom
fix/docs-decorators-type-erasure

Commits

Commits on Jun 11, 2026