Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix bug introduced in #3564. #3615

Merged
merged 1 commit into from Mar 19, 2023
Merged

Fix bug introduced in #3564. #3615

merged 1 commit into from Mar 19, 2023

Conversation

yilei
Copy link
Contributor

@yilei yilei commented Mar 19, 2023

Missed in #3564, self.previous_defs[-1] is now a Line not the int depth.

@github-actions
Copy link

diff-shades reports zero changes comparing this PR (7e5741f) to main (d7a28dd).


What is this? | Workflow run | diff-shades documentation

@JelleZijlstra JelleZijlstra added the skip news Pull requests that don't need a changelog entry. label Mar 19, 2023
@JelleZijlstra JelleZijlstra merged commit dba3c26 into psf:main Mar 19, 2023
44 of 45 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
skip news Pull requests that don't need a changelog entry.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants