Skip to content

Conversation

@sigma-andex
Copy link
Contributor

No description provided.

@i-am-the-slime
Copy link
Member

@fsoikin Any objections? I think we can merge this.

@fsoikin
Copy link
Member

fsoikin commented Oct 22, 2022

Yep, looks good to me.

@fsoikin fsoikin merged commit b839df9 into purescript-spec:master Oct 22, 2022
@sigma-andex sigma-andex deleted the any-show branch October 22, 2022 13:26
@fsoikin
Copy link
Member

fsoikin commented Oct 23, 2022

Published in v7.1.0

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.

3 participants