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

[misc] Batch small changes #19012

Merged
merged 6 commits into from
Dec 30, 2019
Merged

[misc] Batch small changes #19012

merged 6 commits into from
Dec 30, 2019

Commits on Dec 24, 2019

  1. [docs] Fix mini draw width

    mbrookes committed Dec 24, 2019
    Configuration menu
    Copy the full SHA
    a9fcb29 View commit details
    Browse the repository at this point in the history

Commits on Dec 28, 2019

  1. Configuration menu
    Copy the full SHA
    01cae22 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    5826d56 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    f496730 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    8bd12c4 View commit details
    Browse the repository at this point in the history

Commits on Dec 29, 2019

  1. Revert "[docs] Fix mini draw width"

    This reverts commit a9fcb29.
    mbrookes committed Dec 29, 2019
    Configuration menu
    Copy the full SHA
    8eef1be View commit details
    Browse the repository at this point in the history