Skip to content
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.

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

[release/5.0-preview5] Update dependencies from dotnet/winforms #3049

Merged
merged 1 commit into from May 26, 2020
Merged

[release/5.0-preview5] Update dependencies from dotnet/winforms #3049

merged 1 commit into from May 26, 2020

Conversation

dotnet-maestro[bot]
Copy link
Contributor

This pull request updates the following dependencies

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

  • Subscription: 34ef206c-d18e-4d57-3841-08d7f21e1787
  • Build: 20200526.2
  • Date Produced: 5/26/2020 5:52 PM
  • Commit: fa784dc3ff470a16fb8cfe72de5859488366b9f6
  • Branch: refs/heads/release/5.0-preview5
  • Updates:
    • Microsoft.Private.Winforms: from 5.0.0-preview.5.20271.5 to 5.0.0-preview.5.20276.2

@dotnet-maestro
Update dependencies from https://github.com/dotnet/winforms build 202…
c500f5d 
…00526.2

Microsoft.Private.Winforms
 From Version 5.0.0-preview.5.20271.5 -> To Version 5.0.0-preview.5.20276.2
@dotnet-maestro dotnet-maestro bot requested a review from a team as a code owner May 26, 2020 18:22
@ghost ghost added the PR metadata: Label to tag PRs, to facilitate with triage label May 26, 2020
@ghost ghost requested review from fabiant3, ryalanms and SamBent May 26, 2020 18:22
@dotnet-maestro
Copy link
Contributor Author

dotnet-maestro bot commented May 26, 2020 •
edited

Auto-Merge Status

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

  • ✔️ Standard Merge Policies Succeeded - Successful checks: dotnet-wpf CI, dotnet-wpf CI (Build Windows_NT Build_Release_x64), dotnet-wpf CI (Build Windows_NT Build_Debug_x64), dotnet-wpf CI (Build Windows_NT Build_Release_x86), dotnet-wpf CI (Build Windows_NT Build_Debug_x86)
  • ✔️ Standard Merge Policies Succeeded - No reviews have requested changes.
  • ✔️ Standard Merge Policies Succeeded - No version downgrade detected.

@dotnet-maestro dotnet-maestro bot merged commit b11a860 into release/5.0-preview5 May 26, 2020
@dotnet-maestro dotnet-maestro bot deleted the darc-release/5.0-preview5-96cc5b75-1aa2-4cf1-b9e3-2c65396d39d6 branch May 26, 2020 19:18
@dotnet dotnet locked as resolved and limited conversation to collaborators Apr 12, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@fabiant3 fabiant3 Awaiting requested review from fabiant3

@ryalanms ryalanms Awaiting requested review from ryalanms

@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.

None yet
0 participants