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

Fixes issue 5095 #5141

Merged
merged 7 commits into from
Apr 19, 2020
Merged

Fixes issue 5095 #5141

merged 7 commits into from
Apr 19, 2020

Commits on Apr 18, 2020

  1. Configuration menu
    Copy the full SHA
    bdd32e7 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    d03d3bd View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    cf4e353 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    d7f1a1e View commit details
    Browse the repository at this point in the history

Commits on Apr 19, 2020

  1. Formatting and naming

    flip1995 authored Apr 19, 2020
    Configuration menu
    Copy the full SHA
    41115d9 View commit details
    Browse the repository at this point in the history
  2. Formatting and naming

    flip1995 authored Apr 19, 2020
    Configuration menu
    Copy the full SHA
    98a244f View commit details
    Browse the repository at this point in the history
  3. Update empty_enum.stderr

    flip1995 committed Apr 19, 2020
    Configuration menu
    Copy the full SHA
    7aeb3a4 View commit details
    Browse the repository at this point in the history