Skip to content

Conversation

@picnixz
Copy link
Member

@picnixz picnixz commented Jul 1, 2024

I don't have a good Misc entry yet. I update the documentation when the implementation is accepted.

cc @iritkatriel

@iritkatriel
Copy link
Member

Thanks.

As you can see from the discussion on the issue, there are some doubts about whether we should do this at all.
It would probably need to be discussed on python-dev before we proceed.

@picnixz
Copy link
Member Author

picnixz commented Jul 1, 2024

Sure! the idea was to suggest an implementation (actually, I took Victor's comment as the green light for that).

@picnixz picnixz marked this pull request as draft January 23, 2025 14:19
@picnixz
Copy link
Member Author

picnixz commented Jan 23, 2025

Closing since we need to think of a better solution and since I'm cleaning up my local branches.

@picnixz picnixz closed this Jan 23, 2025
@picnixz picnixz deleted the faster-linecache branch January 23, 2025 14:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants