Skip to content

Conversation

@chamons
Copy link
Contributor

@chamons chamons commented Apr 10, 2018

chamons added 2 commits April 10, 2018 13:34
- The IDE saves out AOTMode and HybridAOT but msbuild was older names
@spouliot spouliot added the requires-approval-before-merge The pull request requires special approval before it can be merged label Apr 10, 2018
@spouliot spouliot added this to the d15-7 milestone Apr 10, 2018
@spouliot
Copy link
Contributor

For posterity (since it was reported as a question) and solved before being filed
https://xamarinhq.slack.com/archives/C03CCJHCF/p1523359520000414

@monojenkins
Copy link
Collaborator

Build success
Build comment file:

Provisioning succeeded
Build succeeded
API Diff (from stable)
API Diff (from PR only)
Generator Diff
Test run succeeded


@chamons
Copy link
Contributor Author

chamons commented Apr 11, 2018

I filed #3920 for this, as I fixed it in master before the issue was filed.

@spouliot
Copy link
Contributor

Chatted with @AdrianMurphy. Merging for QA verification before P5

@spouliot spouliot merged commit 3c5a498 into dotnet:d15-7 Apr 18, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

requires-approval-before-merge The pull request requires special approval before it can be merged

Projects

None yet

Development

Successfully merging this pull request may close these issues.

8 participants