Skip to content

Comments

Change Record.IndexType to use MRType#10

Open
alexmwu wants to merge 1 commit intogoogle:mainfrom
alexmwu:useMRType
Open

Change Record.IndexType to use MRType#10
alexmwu wants to merge 1 commit intogoogle:mainfrom
alexmwu:useMRType

Conversation

@alexmwu
Copy link
Collaborator

@alexmwu alexmwu commented Jan 15, 2025

MRType provides stronger typing than a uint8.

This is a breaking change.

MRType provides stronger typing than a uint8.
@jkl73
Copy link
Collaborator

jkl73 commented Jan 16, 2025

seems like one extract test is failing

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.

2 participants