Skip to content
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

Fix another var() fallback case #191721

Merged
merged 1 commit into from
Aug 30, 2023
Merged

Fix another var() fallback case #191721

merged 1 commit into from
Aug 30, 2023

Conversation

mjbvz
Copy link
Contributor

@mjbvz mjbvz commented Aug 29, 2023

One more case of #190968

@mjbvz mjbvz added this to the August 2023 milestone Aug 29, 2023
@mjbvz mjbvz requested a review from Tyriar August 29, 2023 21:28
@mjbvz mjbvz self-assigned this Aug 29, 2023
@mjbvz mjbvz enabled auto-merge (squash) August 29, 2023 21:29
@Tyriar
Copy link
Member

Tyriar commented Aug 30, 2023

This was tracked in #190966

@mjbvz mjbvz merged commit eef56ce into microsoft:main Aug 30, 2023
6 checks passed
@github-actions github-actions bot locked and limited conversation to collaborators Oct 14, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants