Skip to content

Conversation

@Peponks9
Copy link
Contributor

closes #2196

@bobbinth
Copy link
Contributor

Thank you - but I think this would need to be based on #2200.

Copy link
Contributor Author

@Peponks9 Peponks9 left a comment

Choose a reason for hiding this comment

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

hi @bobbinth
you mean changes would wait for that or to be merged?

@bobbinth
Copy link
Contributor

Ah sorry - I linked the wrong PR. I meant #2197. Now that it has been merged, could you rebase this PR?

@PhilippGackstatter
Copy link
Contributor

@Peponks9 Could you rebase the changes on top of next?

@mmagician mmagician marked this pull request as draft January 7, 2026 11:34
@bobbinth
Copy link
Contributor

Closing this as stale and superseded by 0429711.

@bobbinth bobbinth closed this Jan 16, 2026
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.

Remove error type re-exports

3 participants