Skip to content

Conversation

fennb
Copy link

@fennb fennb commented Sep 29, 2025

Addresses #1783.

Realised that @Kludex started working on this (#3020) at pretty much the same time/before I had a chance to push, which probably invalidates this work, but creating a PR anyway in case some part of it is useful!

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