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

Update dircmp for 3.13 #12337

Merged
merged 5 commits into from
Aug 5, 2024
Merged

Update dircmp for 3.13 #12337

merged 5 commits into from
Aug 5, 2024

Commits on Jul 13, 2024

  1. Update dircmp for 3.13

    @max-muoto
    max-muoto committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    3875ede View commit details
    Browse the repository at this point in the history

  2. Update stubs

    @max-muoto
    max-muoto committed Jul 13, 2024
    Configuration menu
    Copy the full SHA
    f2754c2 View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2024

  1. Merge branch 'main' into update-dircmp-for-3.13

    @JelleZijlstra
    JelleZijlstra committed Jul 21, 2024
    Configuration menu
    Copy the full SHA
    c5d6bed View commit details
    Browse the repository at this point in the history

  2. Update stdlib/filecmp.pyi 

    Co-authored-by: Jelle Zijlstra <jelle.zijlstra@gmail.com>
    @max-muoto @JelleZijlstra
    max-muoto and JelleZijlstra committed Jul 21, 2024
    Configuration menu
    Copy the full SHA
    5838c2b View commit details
    Browse the repository at this point in the history

Commits on Aug 3, 2024

  1. Merge branch 'main' into update-dircmp-for-3.13

    @max-muoto
    max-muoto committed Aug 3, 2024
    Configuration menu
    Copy the full SHA
    41abc61 View commit details
    Browse the repository at this point in the history