Skip to content
This repository has been archived by the owner on Jul 12, 2019. It is now read-only.

add cursor to typings #95

Merged
merged 1 commit into from
Jun 14, 2018
Merged

add cursor to typings #95

merged 1 commit into from
Jun 14, 2018

Conversation

xavdid
Copy link
Contributor

@xavdid xavdid commented Jun 13, 2018

Forgot to uncomment this before the release - fixing!

@xavdid xavdid requested a review from eliangcs June 13, 2018 04:24
Copy link
Member

@eliangcs eliangcs left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good!

@xavdid xavdid merged commit 905d6bf into master Jun 14, 2018
@xavdid xavdid deleted the update-types branch June 14, 2018 18:03
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants