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.

Sign up for GitHub

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

Jump to bottom

PEP 706: Add some notes, remove open issue, fix mistakes & formatting #3023

Merged
merged 3 commits into from
Feb 22, 2023
Merged

PEP 706: Add some notes, remove open issue, fix mistakes & formatting #3023

merged 3 commits into from
Feb 22, 2023

Commits on Feb 22, 2023

  1. Add some notes, remove open issue, fix mistakes & formatting 

    - Remove Open Issue “How far should this be backported?”.
  That'll be up to release managers, no need to put it in the PEP.
- Add a section on adding filters to zipfile. Not *quite* a
  “rejected idea”, but IMO the PEP is good enough without it.
- Add a note on a registration mechanism
- Fix a few obvious mistakes, typos, formatting
    @encukou
    encukou committed Feb 22, 2023
    Configuration menu
    Copy the full SHA
    ac351c2 View commit details
    Browse the repository at this point in the history

  2. Fix copy-paste error

    @encukou
    encukou committed Feb 22, 2023
    Configuration menu
    Copy the full SHA
    62a83a1 View commit details
    Browse the repository at this point in the history

  3. Update pep-0706.rst 

    Co-authored-by: Jelle Zijlstra <[email protected]>
    @encukou @JelleZijlstra
    encukou and JelleZijlstra authored Feb 22, 2023
    Configuration menu
    Copy the full SHA
    20391dc View commit details
    Browse the repository at this point in the history