Skip to content

Conversation

@carlossanlop
Copy link
Contributor

Small fix. I realized I didn't push this commit.

@carlossanlop carlossanlop added the waiting-on-reviews Indicates PRs that cannot be merged because of the lack of reviews label Aug 8, 2019
@carlossanlop carlossanlop self-assigned this Aug 8, 2019
Copy link
Contributor

@mairaw mairaw left a comment

Choose a reason for hiding this comment

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

LGTM

@mairaw
Copy link
Contributor

mairaw commented Aug 8, 2019

Wait, found something else to fix. Give me a sec.

@mairaw mairaw added this to the August 2019 milestone Aug 8, 2019
@mairaw mairaw added doc-enhancement Improve the current content verify-build-before-merge and removed waiting-on-reviews Indicates PRs that cannot be merged because of the lack of reviews labels Aug 8, 2019
@carlossanlop
Copy link
Contributor Author

No warnings, @mairaw. I think we can merge this.

@mairaw mairaw merged commit d685608 into dotnet:master Aug 8, 2019
@carlossanlop carlossanlop deleted the clr_buffers.binary branch August 15, 2019 18:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

doc-enhancement Improve the current content

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants