Skip to content

Conversation

@dsharlet
Copy link
Owner

@dsharlet dsharlet commented May 5, 2025

Thanks to the reporter of #109 for the detailed report and suggesting this fix.

@dsharlet dsharlet requested review from fbleibel-g and jiawen May 5, 2025 00:26
@dsharlet dsharlet force-pushed the ds/fix-deduced-for-each branch from 06f2fe8 to 77767a8 Compare May 5, 2025 00:42
@dsharlet dsharlet merged commit 416e90b into master May 6, 2025
1 check passed
@dsharlet dsharlet deleted the ds/fix-deduced-for-each branch May 6, 2025 16:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants