Skip to content

Release v0.2.7#264

Merged
josephlr merged 1 commit intomasterfrom
release
Jun 13, 2022
Merged

Release v0.2.7#264
josephlr merged 1 commit intomasterfrom
release

Conversation

@josephlr
Copy link
Member

@josephlr josephlr commented Jun 13, 2022

I set the release date for tomorrow, let me know if that doesn't work.

Fixes #261

Signed-off-by: Joe Richey joerichey@google.com

Signed-off-by: Joe Richey <joerichey@google.com>
@josephlr josephlr requested a review from newpavlov June 13, 2022 19:25
@josephlr josephlr merged commit 63f861c into master Jun 13, 2022
@josephlr josephlr deleted the release branch June 13, 2022 21:32
@josephlr
Copy link
Member Author

takumi-earth pushed a commit to earthlings-dev/getrandom that referenced this pull request Jan 27, 2026
Signed-off-by: Joe Richey <joerichey@google.com>
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.

Release new version with updated wasi dependency

2 participants