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

RFC: Type privacy and private-in-public lints #2145

Merged
merged 4 commits into from
Feb 7, 2018
Merged

RFC: Type privacy and private-in-public lints #2145

merged 4 commits into from
Feb 7, 2018

Commits on Sep 10, 2017

  1. RFC: Type privacy and private-in-public lints

    @petrochenkov
    petrochenkov committed Sep 10, 2017
    Configuration menu
    Copy the full SHA
    9901089 View commit details
    Browse the repository at this point in the history

  2. Editorial fixes

    @petrochenkov
    petrochenkov committed Sep 10, 2017
    Configuration menu
    Copy the full SHA
    98c8bdf View commit details
    Browse the repository at this point in the history

Commits on Nov 3, 2017

  1. Incorporate some feedback

    @petrochenkov
    petrochenkov committed Nov 3, 2017
    Configuration menu
    Copy the full SHA
    a343edd View commit details
    Browse the repository at this point in the history

Commits on Feb 7, 2018

  1. RFC rust-lang#2145: Type privacy and private-in-public lints

    @aturon
    aturon committed Feb 7, 2018
    Configuration menu
    Copy the full SHA
    f35b245 View commit details
    Browse the repository at this point in the history