Skip to content

Release v0.2.7 - #264

Merged
josephlr merged 1 commit into
masterfrom
release
Jun 13, 2022
Merged

Release v0.2.7#264
josephlr merged 1 commit into
masterfrom
release

Conversation

@josephlr

@josephlrjosephlr commented Jun 13, 2022

Copy link
Copy Markdown
Member

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 newpavlovJune 13, 2022 19:25
@josephlr
josephlr merged commit 63f861c into masterJun 13, 2022
@josephlr
josephlr deleted the release branch June 13, 2022 21:32
@josephlr

Copy link
Copy Markdown
MemberAuthor

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 freeto 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

@josephlr@newpavlov