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

Switch to ordered list for server name resolution steps #1623

Merged
merged 6 commits into from
Aug 19, 2023
Merged

Switch to ordered list for server name resolution steps #1623

merged 6 commits into from
Aug 19, 2023

Commits on Aug 18, 2023

  1. Update server-server-api.md

    I have updated the list of Resolving server names in step 3 from unordered list to ordered list. Because we care about its order
    mohit1523 authored Aug 18, 2023
    Configuration menu
    Copy the full SHA
    9b88d16 View commit details
    Browse the repository at this point in the history
  2. Create 1567.clarification

    mohit1523 authored Aug 18, 2023
    Configuration menu
    Copy the full SHA
    69fa26e View commit details
    Browse the repository at this point in the history
  3. Delete 1567.clarification

    mohit1523 authored Aug 18, 2023
    Configuration menu
    Copy the full SHA
    305f698 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    4ed6f03 View commit details
    Browse the repository at this point in the history
  5. Create 1623.clarification

    mohit1523 authored Aug 18, 2023
    Configuration menu
    Copy the full SHA
    b4a1022 View commit details
    Browse the repository at this point in the history
  6. Update 1623.clarification

    mohit1523 authored Aug 18, 2023
    Configuration menu
    Copy the full SHA
    a668e2c View commit details
    Browse the repository at this point in the history