Skip to content

Remove obsolete symbols#209

Merged
mattesmohr merged 2 commits intomainfrom
remove-obsolete-symbols
Jan 12, 2026
Merged

Remove obsolete symbols#209
mattesmohr merged 2 commits intomainfrom
remove-obsolete-symbols

Conversation

@mattesmohr
Copy link
Member

The pull request removes obsolete symbols and marks some of the older deprecations as unavailable.

@mattesmohr mattesmohr merged commit 893deac into main Jan 12, 2026
1 check passed
@mattesmohr mattesmohr deleted the remove-obsolete-symbols branch January 12, 2026 17:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant