Skip to content

Conversation

@gjsjohnmurray
Copy link
Contributor

This PR fixes #204316

@andreamah
Copy link
Contributor

andreamah commented Feb 14, 2024

Hmm, seems to make sense. I can't repro the issue so I don't know if this fixes it, but we can give it a try. It seems like a sane change, anyways. Thanks for looking into this!

@vscodenpa vscodenpa added this to the February 2024 milestone Feb 14, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Search 'collapse' button no longer works

4 participants