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

doc: mention util depth default change #24805

Closed
wants to merge 2 commits into from
Closed

doc: mention util depth default change #24805

wants to merge 2 commits into from

Commits on Dec 3, 2018

  1. doc: mention util depth default change 

    This was missed when reverting a former commit. To make sure the
history is kept in place, this just adds a new entry to state the
revert.
    @BridgeAR
    BridgeAR committed Dec 3, 2018
    Configuration menu
    Copy the full SHA
    be9721e View commit details
    Browse the repository at this point in the history

Commits on Dec 5, 2018

  1. fixup: add correct PR number 

    Co-Authored-By: BridgeAR <[email protected]>
    @richardlau @BridgeAR
    richardlau and BridgeAR authored Dec 5, 2018
    Configuration menu
    Copy the full SHA
    feda3d8 View commit details
    Browse the repository at this point in the history