Skip to content

Change the key used for opcode counts#42

Merged
davep merged 5 commits intomainfrom
fix-count-shortcuts
Oct 22, 2025
Merged

Change the key used for opcode counts#42
davep merged 5 commits intomainfrom
fix-count-shortcuts

Conversation

@davep
Copy link
Copy Markdown
Owner

@davep davep commented Oct 22, 2025

It clashes with a key that I was already using for something else.

@davep davep self-assigned this Oct 22, 2025
@davep davep added the Bug Something isn't working label Oct 22, 2025
@davep davep merged commit c12ab9c into main Oct 22, 2025
3 checks passed
@davep davep deleted the fix-count-shortcuts branch October 22, 2025 16:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant