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

Fix custom index name in setup #12457

Closed
wants to merge 5 commits into from
Closed

Fix custom index name in setup #12457

wants to merge 5 commits into from

Commits on Jul 23, 2019

  1. Fix custom index name in setup.

    Christoph Wurm committed Jul 23, 2019
    Configuration menu
    Copy the full SHA
    320fd83 View commit details
    Browse the repository at this point in the history

  2. Changelog

    Christoph Wurm committed Jul 23, 2019
    Configuration menu
    Copy the full SHA
    4584a28 View commit details
    Browse the repository at this point in the history

  3. Direct file import.

    Christoph Wurm committed Jul 23, 2019
    Configuration menu
    Copy the full SHA
    d501a9b View commit details
    Browse the repository at this point in the history

  4. Constrain variable scope

    Christoph Wurm committed Jul 23, 2019
    Configuration menu
    Copy the full SHA
    493aa7c View commit details
    Browse the repository at this point in the history

  5. Refactor to switch.

    Christoph Wurm committed Jul 23, 2019
    Configuration menu
    Copy the full SHA
    8c508d1 View commit details
    Browse the repository at this point in the history