Skip to content

Conversation

@dotnet-maestro
Copy link
Contributor

This pull request updates the following dependencies

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

  • Subscription: fd5f4619-cca3-4e12-8f56-08d72a4ce301
  • Build: 20200812.5
  • Date Produced: 8/12/2020 10:04 PM
  • Commit: cf28cab9e5142862de29534e688680a239ba781c
  • Branch: refs/heads/release/3.1
  • Updates:
    • Microsoft.Private.Winforms: from 4.8.1-servicing.20411.4 to 4.8.1-servicing.20412.5

…00812.5

Microsoft.Private.Winforms
 From Version 4.8.1-servicing.20411.4 -> To Version 4.8.1-servicing.20412.5
@ghost ghost added the PR metadata: Label to tag PRs, to facilitate with triage label Aug 12, 2020
@ghost ghost requested review from SamBent, fabiant3 and ryalanms August 12, 2020 22:12
@dotnet-maestro
Copy link
Contributor Author

dotnet-maestro bot commented Aug 12, 2020

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 529227b into release/3.1 Aug 12, 2020
@dotnet-maestro dotnet-maestro bot deleted the darc-release/3.1-884c30d3-b49f-4daf-b91a-2ac2efff53b5 branch August 12, 2020 23:17
@ghost ghost locked as resolved and limited conversation to collaborators Apr 11, 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.

1 participant