Skip to content

feat: 7 bits long note_type_id#10899

Closed
benesjan wants to merge 5 commits intomasterfrom
12-19-feat_7_bit_long_note_type_id
Closed

feat: 7 bits long note_type_id#10899
benesjan wants to merge 5 commits intomasterfrom
12-19-feat_7_bit_long_note_type_id

Conversation

@benesjan
Copy link
Contributor

Making note type id 7 bits long.

Copy link
Contributor Author

This stack of pull requests is managed by Graphite. Learn more about stacking.

@benesjan benesjan changed the title feat: 7 bit long note type id feat: 7 bits long note_type_id Dec 19, 2024
@benesjan benesjan force-pushed the 12-19-feat_7_bit_long_note_type_id branch from a9882a2 to 5ef1445 Compare December 23, 2024 19:13
@benesjan
Copy link
Contributor Author

Closing in favor of #10951

After discussions with Nico does not make sense to tackle the optimization of note type id encoding yet. Opened a new PR such that the work on the encoding does not get completely lost.

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