Skip to content

Re-add modified visitWithTypeInfo to fix hover#1196

Merged
JakeDawkins merged 3 commits intomasterfrom
jake/fix-hover
Apr 17, 2019
Merged

Re-add modified visitWithTypeInfo to fix hover#1196
JakeDawkins merged 3 commits intomasterfrom
jake/fix-hover

Conversation

@JakeDawkins
Copy link
Copy Markdown
Contributor

TODO:

  • Update CHANGELOG.md* with your change (include reference to issue & this PR)
  • Make sure all of the significant new logic is covered by tests
  • Rebase your changes on master so that they can be merged easily
  • Make sure all tests and linter rules pass

*Make sure changelog entries note which project(s) has been affected. See older entries for examples on what this looks like.

@JakeDawkins JakeDawkins merged commit 06d2fdf into master Apr 17, 2019
@JakeDawkins JakeDawkins deleted the jake/fix-hover branch April 17, 2019 16:19
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.

1 participant