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

APIs #667

Merged
merged 1 commit into from
Mar 12, 2020
Merged

APIs #667

merged 1 commit into from
Mar 12, 2020

Conversation

liyasthomas
Copy link
Member

No description provided.

@ghost
Copy link

ghost commented Mar 12, 2020

Congratulations 🍻. DeepCode analyzed your code in 0.102 seconds and we found no issues. Enjoy a moment of no bugs ☀️.

💬 This comment has been generated by the DeepCode bot, installed by the owner of the repository. The DeepCode bot protects your repository by detecting and commenting on security vulnerabilities or other critical issues.


☺️ If you want to provide feedback on our bot, here is how to contact us.

@TravisBuddy
Copy link

Hey @liyasthomas,
Your changes look good to me!

View build log

TravisBuddy Request Identifier: c486c4b0-6471-11ea-b857-47bc0e3c428e

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants