PR #40929 Minor fix for #40727

Minor fix for #40727 #40929

ydshieh merged 2 commits into main from fix_patched

fix

1b22f4a2

fix

e6acc43b

ydshieh commented on 2025-09-17

ydshieh requested a review from

ivarflakstad 301 days ago

ydshieh requested a review from

ahadnagy 301 days ago

ahadnagy approved these changes on 2025-09-17

ydshieh merged 89949c5d into main 301 days ago

ydshieh deleted the fix_patched branch 301 days ago

Reviewers

ahadnagy

ivarflakstad

Assignees

No one assigned

Labels

None yet

Milestone

No milestone