Skip to content

[master] Update dependencies from dotnet/winforms #1426

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Jul 28, 2019
Merged

[master] Update dependencies from dotnet/winforms #1426

merged 1 commit into from
Jul 28, 2019

Conversation

@dotnet-maestro
Copy link
Contributor

@dotnet-maestro dotnet-maestro bot commented Jul 28, 2019

This pull request updates the following dependencies

From https://github.com/dotnet/winforms

  • Build: 20190728.1
  • Date Produced: 7/28/2019 12:17 PM
  • Commit: 38b423c42682b9a24119a9c25b9a16ca0255d896
  • Branch: refs/heads/master
  • Updates:
    • Microsoft.Private.Winforms -> 4.8.0-preview8.19378.1

Coherency Updates

The following updates ensure that dependencies with a CoherentParentDependency
attribute were produced in a build used as input to the parent dependency's build.
See Dependency Description Format

  • Microsoft.NETCore.App -> 3.0.0-preview8-28378-01 (parent: Microsoft.Private.Winforms)

Update dependencies from https://github.com/dotnet/winforms build 201…
d8797dd 
…90728.1

- Microsoft.Private.Winforms - 4.8.0-preview8.19378.1

Dependency coherency updates

- Microsoft.NETCore.App - 3.0.0-preview8-28378-01 (parent: Microsoft.Private.Winforms)
@ghost ghost requested review from rladuca, ryalanms, stevenbrix and vatsan-madhavan July 28, 2019 12:56
@ghost ghost added the PR metadata: Label to tag PRs, to facilitate with triage label Jul 28, 2019
@ghost ghost requested a review from SamBent July 28, 2019 12:56
@dotnet-maestro
Copy link
Contributor Author

dotnet-maestro bot commented Jul 28, 2019 •
edited
Loading

Auto-Merge Status

This pull request has been merged because the following merge policies have succeeded.

  • ✔️ All Checks Successful Succeeded - Successful checks: dotnet-wpf CI, dotnet-wpf CI (Windows_NT Build_Release_x64), dotnet-wpf CI (Windows_NT Build_Debug_x64), dotnet-wpf CI (Windows_NT Build_Release_x86), dotnet-wpf CI (Windows_NT Build_Debug_x86)

@dotnet-maestro dotnet-maestro bot merged commit 8554c5a into master Jul 28, 2019
@dotnet-maestro dotnet-maestro bot deleted the darc-master-6ac736fa-8c19-43bc-beab-be19cd7fa169 branch July 28, 2019 13:16
@ghost ghost locked as resolved and limited conversation to collaborators Apr 15, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

@vatsan-madhavan vatsan-madhavan Awaiting requested review from vatsan-madhavan

@rladuca rladuca Awaiting requested review from rladuca

@ryalanms ryalanms Awaiting requested review from ryalanms

@stevenbrix stevenbrix Awaiting requested review from stevenbrix

@SamBent SamBent Awaiting requested review from SamBent

Assignees

No one assigned

Labels

PR metadata: Label to tag PRs, to facilitate with triage

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant