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

[Merged by Bors] - chore(*): update to 3.37.0c #11325

Closed
wants to merge 13 commits into from
Closed

[Merged by Bors] - chore(*): update to 3.37.0c #11325

wants to merge 13 commits into from

Commits on Jan 8, 2022

  1. 'safe' default removal

    @ericrbg
    ericrbg committed Jan 8, 2022
    Configuration menu
    Copy the full SHA
    092fa5e View commit details
    Browse the repository at this point in the history

  2. try default \(.*\)!

    @ericrbg
    ericrbg committed Jan 8, 2022
    Configuration menu
    Copy the full SHA
    8272211 View commit details
    Browse the repository at this point in the history

  3. this will take a while

    @ericrbg
    ericrbg committed Jan 8, 2022
    Configuration menu
    Copy the full SHA
    1186d88 View commit details
    Browse the repository at this point in the history

  4. iotas out

    @ericrbg
    ericrbg committed Jan 8, 2022
    Configuration menu
    Copy the full SHA
    124f124 View commit details
    Browse the repository at this point in the history

  5. capital letters out

    @ericrbg
    ericrbg committed Jan 8, 2022
    Configuration menu
    Copy the full SHA
    f3262ab View commit details
    Browse the repository at this point in the history

  6. trucking on

    @ericrbg
    ericrbg committed Jan 8, 2022
    Configuration menu
    Copy the full SHA
    99514b9 View commit details
    Browse the repository at this point in the history

  7. i'm hungry

    @ericrbg
    ericrbg committed Jan 8, 2022
    Configuration menu
    Copy the full SHA
    1ba3405 View commit details
    Browse the repository at this point in the history

Commits on Jan 9, 2022

  1. more

    @ericrbg
    ericrbg committed Jan 9, 2022
    Configuration menu
    Copy the full SHA
    464c762 View commit details
    Browse the repository at this point in the history

  2. time to start over compiling

    @ericrbg
    ericrbg committed Jan 9, 2022
    Configuration menu
    Copy the full SHA
    a500c7a View commit details
    Browse the repository at this point in the history

  3. keep on fixin'

    @ericrbg
    ericrbg committed Jan 9, 2022
    Configuration menu
    Copy the full SHA
    83508e1 View commit details
    Browse the repository at this point in the history

  4. this is cool, one of the elaboration changes golfed a proof

    @ericrbg
    ericrbg committed Jan 9, 2022
    Configuration menu
    Copy the full SHA
    c995272 View commit details
    Browse the repository at this point in the history

  5. further stuff

    @ericrbg
    ericrbg committed Jan 9, 2022
    Configuration menu
    Copy the full SHA
    e8c6986 View commit details
    Browse the repository at this point in the history

  6. done! (modulo lint)

    @ericrbg
    ericrbg committed Jan 9, 2022
    Configuration menu
    Copy the full SHA
    747286d View commit details
    Browse the repository at this point in the history