Skip to content
This repository was archived by the owner on Sep 11, 2025. It is now read-only.

Fix serverOptions type #585

Merged
merged 1 commit into from
Feb 15, 2021
Merged

Fix serverOptions type #585

merged 1 commit into from
Feb 15, 2021

Conversation

@mmarkelov
Copy link
Member

@mmarkelov mmarkelov commented Feb 15, 2021

@mmarkelov mmarkelov requested a review from mxschmitt as a code owner February 15, 2021 16:40
@coveralls
Copy link

coveralls commented Feb 15, 2021 •
edited
Loading

Pull Request Test Coverage Report for Build 569145106

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 95.954%
Totals Coverage Status
Change from base Build 568157916: 0.0%
Covered Lines: 107
Relevant Lines: 109
💛 - Coveralls

@mmarkelov mmarkelov merged commit 3575b3a into master Feb 15, 2021
@mmarkelov mmarkelov deleted the fix-serverOptions-type branch February 15, 2021 18:14
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

1 more reviewer

@mxschmitt mxschmitt mxschmitt approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@mmarkelov @coveralls @mxschmitt