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

Remove sortedcontainers #525

Merged
merged 4 commits into from
Oct 24, 2020
Merged

Remove sortedcontainers #525

merged 4 commits into from
Oct 24, 2020

Commits on Oct 18, 2020

  1. Remove unused sortedcontainers package

    @estshorter
    estshorter committed Oct 18, 2020
    Configuration menu
    Copy the full SHA
    3ce0804 View commit details
    Browse the repository at this point in the history

  2. Fix changelog format

    @estshorter
    estshorter committed Oct 18, 2020
    Configuration menu
    Copy the full SHA
    81ceacb View commit details
    Browse the repository at this point in the history

  3. Fix a link to the PR

    @estshorter
    estshorter committed Oct 18, 2020
    Configuration menu
    Copy the full SHA
    daf320c View commit details
    Browse the repository at this point in the history

Commits on Oct 24, 2020

  1. Update CHANGELOG.md

    @pietermarsman
    pietermarsman authored Oct 24, 2020
    Configuration menu
    Copy the full SHA
    a814039 View commit details
    Browse the repository at this point in the history