Skip to content

Update sanitizers documentation - #562

Merged
nikomatsakis merged 1 commit into
rust-lang:masterfrom
tmiasko:sanitizers
Feb 10, 2020
Merged

Update sanitizers documentation#562
nikomatsakis merged 1 commit into
rust-lang:masterfrom
tmiasko:sanitizers

Conversation

@tmiasko

@tmiasko tmiasko commented Jan 17, 2020

Copy link
Copy Markdown
Contributor

No description provided.

@nikomatsakis

Copy link
Copy Markdown
Contributor

Thanks again for doing this. =)

@mark-i-m

mark-i-m commented Feb 3, 2020

Copy link
Copy Markdown
Contributor

Ping @tmiasko any updates?

@tmiasko
tmiasko marked this pull request as ready for review February 3, 2020 13:42
@tmiasko

tmiasko commented Feb 3, 2020

Copy link
Copy Markdown
Contributor Author

In part this describes changes from rust-lang/rust#68164 which are yet to land. If that is not an issue we could merge it now and update later as necessary.

@spastorino

Copy link
Copy Markdown
Member

Thanks @tmiasko for the update, I'd wait for rust-lang/rust#68164 to land then.

@tmiasko

tmiasko commented Feb 7, 2020

Copy link
Copy Markdown
Contributor Author

The rust-lang/rust#68164 landed, so this is ready for review & merging.

@mark-i-m mark-i-m left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

This looks good to me, but I don't know anything about sanitizers, so I will defer to @nikomatsakis

@nikomatsakis
nikomatsakis merged commit 693a92f into rust-lang:master Feb 10, 2020
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.

4 participants