Skip to content

Comments

export SEA type information#1224

Merged
amark merged 1 commit intoamark:masterfrom
georgyo:sea_type_export
Apr 2, 2022
Merged

export SEA type information#1224
amark merged 1 commit intoamark:masterfrom
georgyo:sea_type_export

Conversation

@georgyo
Copy link
Contributor

@georgyo georgyo commented Mar 27, 2022

No description provided.

@amark
Copy link
Owner

amark commented Apr 2, 2022

@georgyo thanks!

@amark amark merged commit 9d94b43 into amark:master Apr 2, 2022
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