Skip to content

Release proptest 0.9.5#177

Merged
Centril merged 2 commits intoproptest-rs:masterfrom
Centril:release-0.9.5
Jan 17, 2020
Merged

Release proptest 0.9.5#177
Centril merged 2 commits intoproptest-rs:masterfrom
Centril:release-0.9.5

Conversation

@Centril
Copy link
Collaborator

@Centril Centril commented Jan 17, 2020

@Centril Centril merged commit afc4e16 into proptest-rs:master Jan 17, 2020
@Centril Centril deleted the release-0.9.5 branch January 17, 2020 10:09
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