Skip to content
This repository was archived by the owner on Apr 30, 2024. It is now read-only.

Rename optimint to rollmint#79

Draft
jbowen93 wants to merge 1 commit intojbowen93/rlpfrom
jbowen93/rlp-rollmint
Draft

Rename optimint to rollmint#79
jbowen93 wants to merge 1 commit intojbowen93/rlpfrom
jbowen93/rlp-rollmint

Conversation

@jbowen93
Copy link
Copy Markdown

No description provided.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant