Skip to content

Conversation

@Vinzius
Copy link
Contributor

@Vinzius Vinzius commented Feb 6, 2023

Autocompletion of localities should work with this trick.

@Vinzius Vinzius changed the title fix: treat known localities and string as distinguishable types fix(autocompletion): treat known localities and string as distinguishable types Feb 6, 2023
@Vinzius Vinzius requested a review from QuiiBz February 6, 2023 14:47
quantumsheep
quantumsheep previously approved these changes Feb 6, 2023
@Vinzius Vinzius changed the title fix(autocompletion): treat known localities and string as distinguishable types Draft: fix(autocompletion): treat known localities and string as distinguishable types Feb 6, 2023
@Vinzius Vinzius force-pushed the fix/locality-autocompletion branch from 09ea186 to f0ba369 Compare February 20, 2023 12:56
@Vinzius Vinzius changed the title Draft: fix(autocompletion): treat known localities and string as distinguishable types fix(autocompletion): treat known localities and string as distinguishable types Feb 20, 2023
@Vinzius Vinzius added this pull request to the merge queue Feb 20, 2023
Merged via the queue into main with commit 4a78253 Feb 20, 2023
@Vinzius Vinzius deleted the fix/locality-autocompletion branch February 20, 2023 14:11
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.

4 participants