Skip to content

Conversation

@RalfJung
Copy link
Member

Needed to make rust-lang/rust#57045 go through

@gnzlbg gnzlbg merged commit ee6e4c8 into rust-lang:master Dec 28, 2018
@gnzlbg
Copy link
Contributor

gnzlbg commented Dec 28, 2018

Thanks, sorry for the delay, christmas and all that.

@RalfJung RalfJung deleted the avoid-zeroed branch April 14, 2019 08:06
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.

2 participants