Skip to content

Conversation

@RasmusWL
Copy link
Member

@RasmusWL RasmusWL commented Apr 5, 2022

This solved performance problems experienced in #8634, and this commit+PR is to ensure we get this change in as fast as possible.

This solved performance problems experienced in
github#8634, and this commit+PR is to
ensure we get this change in as fast as possible.
@RasmusWL RasmusWL requested a review from a team as a code owner April 5, 2022 10:35
@github-actions github-actions bot added the Python label Apr 5, 2022
@RasmusWL RasmusWL added the no-change-note-required This PR does not need a change note label Apr 5, 2022
Copy link
Contributor

@yoff yoff left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I honestly thought this was already done by a CodeQL query patch...

@RasmusWL RasmusWL merged commit b99767e into github:main Apr 6, 2022
@RasmusWL RasmusWL deleted the use-instanceof branch April 6, 2022 10:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no-change-note-required This PR does not need a change note Python

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants