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

De-RFC: Remove type ascription #3307

Merged
merged 6 commits into from
Sep 12, 2022
Merged

De-RFC: Remove type ascription #3307

merged 6 commits into from
Sep 12, 2022

Commits on Aug 28, 2022

  1. derfc

    @Manishearth
    Manishearth committed Aug 28, 2022
    Configuration menu
    Copy the full SHA
    4f15f2d View commit details
    Browse the repository at this point in the history

  2. Add alt text to image 

    Co-authored-by: Simonas Kazlauskas <[email protected]>
    @joshtriplett @nagisa
    joshtriplett and nagisa authored Aug 28, 2022
    Configuration menu
    Copy the full SHA
    f50e661 View commit details
    Browse the repository at this point in the history

  3. Add missing punctuation

    @joshtriplett
    joshtriplett authored Aug 28, 2022
    Configuration menu
    Copy the full SHA
    35ea336 View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2022

  1. explicitly avoid bikeshedding

    @Manishearth
    Manishearth committed Aug 29, 2022
    Configuration menu
    Copy the full SHA
    fc94949 View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2022

  1. Add tracking issue/links

    @Manishearth
    Manishearth committed Sep 12, 2022
    Configuration menu
    Copy the full SHA
    eedc869 View commit details
    Browse the repository at this point in the history

  2. RFC 3307 is Remove Type Ascription

    @Manishearth
    Manishearth committed Sep 12, 2022
    Configuration menu
    Copy the full SHA
    e9892e2 View commit details
    Browse the repository at this point in the history