DanTup · GitHub

Conversation

@DanTup

Copy link Copy Markdown

Member

No description provided.

@DanTup DanTup added is bug fix in editor

Relates to code editing or language features

labels

Sep 2, 2019

@DanTup DanTup added this to the v3.5.0 milestone

Sep 2, 2019

@DanTup

DanTup merged commit 9d5a9f4 into master

Sep 17, 2019

@DanTup

DanTup deleted the fix-dupe-completions branch

September 17, 2019 14:41

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

in editor

Relates to code editing or language features

is bug fix

1 participant

@DanTup

Read the original on github.com ↗