Skip to content

Conversation

@roji
Copy link
Member

@roji roji commented Nov 7, 2025

Closes #13340

@roji roji requested a review from a team as a code owner November 7, 2025 14:58
@roji roji requested review from adamsitnik and westey-m November 7, 2025 14:58
@markwallace-microsoft markwallace-microsoft added the .NET Issue or Pull requests regarding .NET code label Nov 7, 2025
@github-actions github-actions bot changed the title [MEVD] Fix Guid (and other) keys for dynamic collections .Net: [MEVD] Fix Guid (and other) keys for dynamic collections Nov 7, 2025
@roji roji enabled auto-merge November 7, 2025 15:26
Copy link
Member

@adamsitnik adamsitnik left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, big thanks for such a quick fix @roji !

@roji roji added this pull request to the merge queue Nov 7, 2025
Merged via the queue into microsoft:main with commit eab8c88 Nov 7, 2025
19 checks passed
@roji roji deleted the DynamicGuidKeys branch November 7, 2025 15:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

.NET Issue or Pull requests regarding .NET code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[MEVD] Guid (and other) key types not properly supported in dynamic mode

4 participants