Skip to content

Update wasi dependency - #100

Merged
newpavlov merged 3 commits into
masterfrom
wasi_upd
Aug 31, 2019
Merged

Update wasi dependency#100
newpavlov merged 3 commits into
masterfrom
wasi_upd

Conversation

@newpavlov

Copy link
Copy Markdown
Member

No description provided.

@newpavlovnewpavlov mentioned this pull request Aug 29, 2019
Comment threadsrc/wasi.rs Outdated
Comment threadsrc/error.rs
@josephlr

Copy link
Copy Markdown
Member

@newpavlov, normally I would merge this, but it seems I am not an authorized user.

@newpavlov

newpavlov commented Aug 29, 2019

Copy link
Copy Markdown
MemberAuthor

Yeah, I am also not authorized to merge. Probably @dhardy has changed some repository settings.

@dhardydhardy left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Shame there's no NonZeroU32: From<NonZeroU16> impl.

@dhardy

Copy link
Copy Markdown
Member

Aha, didn't plan to revoke any permissions! I just bumped you both to "maintain" status; any good?

@newpavlov

Copy link
Copy Markdown
MemberAuthor

Yeah, it works now. Thanks!

@newpavlov
newpavlov merged commit 31e5b2f into masterAug 31, 2019
@mati865

Copy link
Copy Markdown

Hello, could you soon release new version to unblock rust-lang/rust#63806?

Thanks in advance.

@newpavlov

Copy link
Copy Markdown
MemberAuthor

@mati865
Done!

@newpavlov
newpavlov deleted the wasi_upd branch September 6, 2019 12:02
takumi-earth pushed a commit to earthlings-dev/getrandom that referenced this pull request Jan 27, 2026
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.

4 participants

@newpavlov@josephlr@dhardy@mati865