Skip to content

Conversation

@philrz
Copy link
Contributor

@philrz philrz commented Dec 2, 2024

In finalizing #5506 it turns out I made a mistake when adjusting this URL from that PR's branch to the appropriate file on main. This fixes that.

@philrz philrz requested a review from a team December 2, 2024 18:23
@philrz philrz self-assigned this Dec 2, 2024
@philrz philrz merged commit 8ba613d into main Dec 2, 2024
3 of 4 checks passed
@philrz philrz deleted the super-cmd-perf-fixes branch December 2, 2024 20:13
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.

3 participants