Skip to content

Conversation

@sobolevn
Copy link
Member

@sobolevn sobolevn commented Mar 20, 2023

Looks like the consensus is that we don't need this file anymore.
Old version can be always found here: https://github.com/python/cpython/blob/094cf392f49d3c16fe798863717f6c8e0f3734bb/Misc/gdbinit

@sobolevn
Copy link
Member Author

Do we need news for it? 🤔

@gpshead
Copy link
Member

gpshead commented Mar 20, 2023

Do we need news for it? 🤔

It is good to include a tiny NEWS note. "Misc/gdbinit was removed."

@gpshead gpshead self-assigned this Mar 20, 2023
@gpshead gpshead merged commit ef000eb into python:main Mar 20, 2023
@sobolevn
Copy link
Member Author

Thank you!

Fidget-Spinner pushed a commit to Fidget-Spinner/cpython that referenced this pull request Mar 27, 2023
@hroncok
Copy link
Contributor

hroncok commented Apr 5, 2023

The file is still referenced in the README

@hroncok
Copy link
Contributor

hroncok commented Apr 5, 2023

Oh, #103269

warsaw pushed a commit to warsaw/cpython that referenced this pull request Apr 11, 2023
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.

4 participants