Skip to content

[pull] main from dotnet:main#696

Merged
pull[bot] merged 2 commits intoMu-L:mainfrom
dotnet:main
May 10, 2023
Merged

[pull] main from dotnet:main#696
pull[bot] merged 2 commits intoMu-L:mainfrom
dotnet:main

Conversation

@pull
Copy link
Copy Markdown

@pull pull bot commented May 10, 2023

See Commits and Changes for more details.


Created by pull[bot]

Can you help keep this open source service alive? 💖 Please sponsor : )

dotnet-maestro bot added 2 commits May 10, 2023 02:25
…30509.3 (#7818)

[main] Update dependencies from dotnet/winforms
…509.5 (#7819)

[main] Update dependencies from dotnet/arcade
@pull pull bot added the ⤵️ pull label May 10, 2023
@pull pull bot merged commit c3439bc into Mu-L:main May 10, 2023
@github-actions github-actions bot locked and limited conversation to collaborators Dec 2, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants