Skip to content

Conversation

@davep
Copy link
Owner

@davep davep commented Oct 22, 2025

See #38. While this doesn't get things as fast as I'd like, it does improve things.

See #38. While this doesn't get things as fast as I'd like, it does improve
things.
@davep davep self-assigned this Oct 22, 2025
@davep davep added Enhancement New feature or request TODO A thing I'm planning on doing labels Oct 22, 2025
@davep davep marked this pull request as ready for review October 22, 2025 16:12
@davep davep merged commit f9ee15d into main Oct 22, 2025
3 checks passed
@davep davep deleted the tweak-dis-speed branch October 22, 2025 16:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Enhancement New feature or request TODO A thing I'm planning on doing

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants