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

Toolstate: remove redundant beta-week check. #69705

Merged
merged 3 commits into from
Mar 12, 2020
Merged

Toolstate: remove redundant beta-week check. #69705

merged 3 commits into from
Mar 12, 2020

Commits on Mar 4, 2020

  1. Toolstate: remove redundant beta-week check.

    @ehuss
    ehuss committed Mar 4, 2020
    Configuration menu
    Copy the full SHA
    0e1cd59 View commit details
    Browse the repository at this point in the history

  2. more toolstate comments

    @RalfJung @ehuss
    RalfJung authored and ehuss committed Mar 4, 2020
    Configuration menu
    Copy the full SHA
    a6d8c9c View commit details
    Browse the repository at this point in the history

  3. Further clarifications and comments on toolstate operation.

    @ehuss
    ehuss committed Mar 4, 2020
    Configuration menu
    Copy the full SHA
    a41f1f1 View commit details
    Browse the repository at this point in the history