Skip to content

Conversation

aidanharan
Copy link
Contributor

Backport of #1238

@aidanharan aidanharan marked this pull request as ready for review October 15, 2024 09:57
@aidanharan aidanharan merged commit 7fcf20d into 7-2-stable Oct 15, 2024
8 checks passed
@aidanharan aidanharan deleted the select-notation-7-2 branch October 15, 2024 10:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant