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

Rewrite lifetimes section #607

Merged
merged 5 commits into from Aug 15, 2015
Merged

Rewrite lifetimes section #607

merged 5 commits into from Aug 15, 2015

Commits on Aug 14, 2015

  1. Rewrite lifetimes section

    @mdinger
    mdinger committed Aug 14, 2015
    1 Configuration menu
    Copy the full SHA
    59d7609 View commit details
    Browse the repository at this point in the history

  2. Many slight lifetime tweaks

    @mdinger
    mdinger committed Aug 14, 2015
    Configuration menu
    Copy the full SHA
    1c69d79 View commit details
    Browse the repository at this point in the history

  3. Additional lifetime tweaks

    @mdinger
    mdinger committed Aug 14, 2015
    Configuration menu
    Copy the full SHA
    2f01a63 View commit details
    Browse the repository at this point in the history

  4. Fix most of steves nits

    @mdinger
    mdinger committed Aug 14, 2015
    Configuration menu
    Copy the full SHA
    b22ba2e View commit details
    Browse the repository at this point in the history

  5. Rephrase explicit lifetime comment

    @mdinger
    mdinger committed Aug 14, 2015
    Configuration menu
    Copy the full SHA
    dfce986 View commit details
    Browse the repository at this point in the history