Skip to content

[main] Source code updates from dotnet/winforms#2733

Merged
dotnet-maestro[bot] merged 3 commits intomainfrom
darc-main-0ee761a8-c336-499c-9257-16f50de8ec41
Oct 6, 2025
Merged

[main] Source code updates from dotnet/winforms#2733
dotnet-maestro[bot] merged 3 commits intomainfrom
darc-main-0ee761a8-c336-499c-9257-16f50de8ec41

Conversation

@dotnet-maestro
Copy link
Contributor

@dotnet-maestro dotnet-maestro bot commented Oct 4, 2025

Note

This is a codeflow update. It may contain both source code changes from the source repo as well as dependency updates. Learn more here.

This pull request brings the following source code changes

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

@dotnet-maestro
Copy link
Contributor Author

dotnet-maestro bot commented Oct 5, 2025

Important

The source repository has received code changes from an opposite flow. Any additional codeflows into this PR may potentially result in lost changes.
Please continue with one of the following options:

  1. Close or merge this PR and let the codeflow continue normally
  2. Close or merge this PR and receive the new codeflow immediately by triggering the subscription:
    darc trigger-subscriptions --id 911109f6-9cf9-4d74-be88-9b5d1e534f52
  3. Force-flow new changes into this PR at your own risk (some PR commits might be reverted):
    darc trigger-subscriptions --force --id 911109f6-9cf9-4d74-be88-9b5d1e534f52

In case of unclarities, consult the FAQ or tag @dotnet/product-construction for assistance.

@dotnet-maestro dotnet-maestro bot merged commit ba379de into main Oct 6, 2025
16 checks passed
@dotnet-maestro dotnet-maestro bot deleted the darc-main-0ee761a8-c336-499c-9257-16f50de8ec41 branch October 6, 2025 09:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

1 participant