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.

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

Automatically update patch, and provide better errors if an update is not possible. #8248

Merged
merged 6 commits into from
May 21, 2020

Commits on May 16, 2020

  1. Configuration menu
    Copy the full SHA
    b78cb37 View commit details
    Browse the repository at this point in the history

Commits on May 20, 2020

  1. Configuration menu
    Copy the full SHA
    afa3ace View commit details
    Browse the repository at this point in the history
  2. Simplify error handling.

    ehuss committed May 20, 2020
    Configuration menu
    Copy the full SHA
    2c0cd97 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    6fd11a7 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    5dde9cc View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    4f2bae9 View commit details
    Browse the repository at this point in the history