Skip to content

[release/3.1] Update dependencies from dotnet/winforms #2142

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

Conversation

dotnet-maestro[bot]
Copy link
Contributor

@dotnet-maestro dotnet-maestro bot commented Nov 1, 2019

This pull request updates the following dependencies

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

  • Build: 20191031.3
  • Date Produced: 10/31/2019 11:47 PM
  • Commit: 87db52011e8fb53ab15d1a33f3f4e721552b1ef9
  • Branch: refs/heads/release/3.1
  • Updates:
    • Microsoft.Private.Winforms -> 4.8.1-preview1.19531.3

…91031.2

- Microsoft.Private.Winforms - 4.8.1-preview1.19531.2
@ghost ghost requested review from vatsan-madhavan and rladuca November 1, 2019 00:00
@ghost ghost added the PR metadata: Label to tag PRs, to facilitate with triage label Nov 1, 2019
@dotnet-maestro
Copy link
Contributor Author

dotnet-maestro bot commented Nov 1, 2019

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.

@ghost ghost requested a review from SamBent November 1, 2019 00:00
…91031.3

- Microsoft.Private.Winforms - 4.8.1-preview1.19531.3
@dotnet-maestro dotnet-maestro bot merged commit 06ff10a into release/3.1 Nov 1, 2019
@dotnet-maestro dotnet-maestro bot deleted the darc-release/3.1-060053c7-1635-4b06-90fe-a99f980dfd72 branch November 1, 2019 00:20
@ghost ghost locked as resolved and limited conversation to collaborators Apr 14, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
PR metadata: Label to tag PRs, to facilitate with triage
Projects
None yet
Development

Successfully merging this pull request may close these issues.

0 participants