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

Document ErrorGuaranteed #1316

Merged
merged 3 commits into from
May 3, 2022
Merged

Document ErrorGuaranteed #1316

merged 3 commits into from
May 3, 2022

Commits on Feb 25, 2022

  1. document ErrorGuaranteed

    @mark-i-m
    mark-i-m committed Feb 25, 2022
    Configuration menu
    Copy the full SHA
    31ac13a View commit details
    Browse the repository at this point in the history

Commits on Mar 2, 2022

  1. Fix typos 

    Co-authored-by: pierwill <19642016+pierwill@users.noreply.github.com>
    @mark-i-m @pierwill
    mark-i-m and pierwill authored Mar 2, 2022
    Configuration menu
    Copy the full SHA
    1546808 View commit details
    Browse the repository at this point in the history

Commits on Apr 22, 2022

  1. Clarify Niko comment 

    Co-authored-by: Niko Matsakis <niko@alum.mit.edu>
    @mark-i-m @nikomatsakis
    mark-i-m and nikomatsakis authored Apr 22, 2022
    Configuration menu
    Copy the full SHA
    620e6b7 View commit details
    Browse the repository at this point in the history