Skip to content

Conversation

@dolio
Copy link
Contributor

@dolio dolio commented Aug 14, 2025

I missed one of the transcript changes after the merge.

@dolio dolio requested a review from aryairani August 14, 2025 18:12
@aryairani
Copy link
Contributor

Note to self: Never press the "Enable auto-merge" button. :jackie-chan-emoji:

@aryairani aryairani enabled auto-merge August 14, 2025 19:42
@aryairani aryairani merged commit 897f245 into trunk Aug 14, 2025
31 checks passed
@aryairani aryairani deleted the topic/type-errors branch August 14, 2025 19:42
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.

3 participants