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

Fix #11422 Add a shortcut key for disabling/enabling clearance checks #11806

Merged
merged 6 commits into from May 30, 2020
Merged

Fix #11422 Add a shortcut key for disabling/enabling clearance checks #11806

merged 6 commits into from May 30, 2020

Commits on May 30, 2020

  1. Configuration menu
    Copy the full SHA
    670b879 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    67ffc56 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    31e4029 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    3fdab8e View commit details
    Browse the repository at this point in the history
  5. Apply suggestions from code review

    Co-authored-by: Michael Steenbeek <m.o.steenbeek@gmail.com>
    2 people authored and AaronVanGeffen committed May 30, 2020
    Configuration menu
    Copy the full SHA
    ac8dce4 View commit details
    Browse the repository at this point in the history
  6. Apply suggestions from code review

    Co-authored-by: Aaron van Geffen <aaron@aaronweb.net>
    Gymnasiast and AaronVanGeffen committed May 30, 2020
    Configuration menu
    Copy the full SHA
    6d13f7b View commit details
    Browse the repository at this point in the history