Skip to content

Conversation

@aarongable
Copy link
Contributor

@aarongable aarongable commented Jun 14, 2025

This fixes an oversight in #8200.

Part of #8199

@aarongable aarongable marked this pull request as ready for review June 14, 2025 00:58
@aarongable aarongable requested a review from a team as a code owner June 14, 2025 00:58
@aarongable aarongable requested a review from jsha June 14, 2025 00:58
@beautifulentropy
Copy link
Member

Nice catch here!

@aarongable aarongable merged commit c68e27e into main Jun 16, 2025
12 checks passed
@aarongable aarongable deleted the fixup-stop-contact branch June 16, 2025 16:29
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.

4 participants