Skip to content
This repository was archived by the owner on Jan 23, 2023. It is now read-only.

Address div/mod CR feedback#6106

Merged
BruceForstall merged 1 commit into
dotnet:masterfrom
mikedn:modopt-feedback
Jul 5, 2016
Merged

Address div/mod CR feedback#6106
BruceForstall merged 1 commit into
dotnet:masterfrom
mikedn:modopt-feedback

Conversation

@mikedn
Copy link
Copy Markdown

@mikedn mikedn commented Jul 3, 2016

Minor changes after CR of #5871

@adityamandaleeka
Copy link
Copy Markdown
Member

LGTM

1 similar comment
@BruceForstall
Copy link
Copy Markdown

LGTM

@BruceForstall BruceForstall merged commit 59c6500 into dotnet:master Jul 5, 2016
@mikedn mikedn deleted the modopt-feedback branch April 10, 2017 05:42
picenka21 pushed a commit to picenka21/runtime that referenced this pull request Feb 18, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants