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 types #4

Merged
merged 1 commit into from
Oct 7, 2021
Merged

fix types #4

merged 1 commit into from
Oct 7, 2021

Conversation

0xslipk
Copy link
Member

@0xslipk 0xslipk commented Oct 7, 2021 •
edited
Loading

PR Checklist

Please check if your PR fulfills the following requirements:

  • The commit message follows our guidelines: CONTRIBUTING.md
  • Tests for the changes have been added (for bug fixes / features)
  • Docs have been added / updated (for bug fixes / features)

PR Type

What kind of change does this PR introduce?

  • Bugfix
  • Feature
  • Code style update (formatting, local variables)
  • Refactoring (no functional changes, no api changes)
  • Build related changes
  • CI related changes
  • Other... Please describe:

What is the current behavior?

Issue Number: N/A

What is the new behavior?

Does this PR introduce a breaking change?

  • Yes
  • No

Other information

@0xslipk 0xslipk added the bug Something isn't working label Oct 7, 2021
@0xslipk 0xslipk self-assigned this Oct 7, 2021
@0xslipk 0xslipk merged commit 5ce86aa into main Oct 7, 2021
@0xslipk 0xslipk deleted the fix/ws-types branch October 7, 2021 11:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@0xslipk 0xslipk

Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@0xslipk