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

only lookup username for typing notifications #22531

Merged
merged 1 commit into from Feb 12, 2020
Merged

only lookup username for typing notifications #22531

merged 1 commit into from Feb 12, 2020

Conversation

@mmaxim
Copy link
Contributor

mmaxim commented Feb 12, 2020

@mmaxim mmaxim requested a review from joshblum Feb 12, 2020
Copy link
Member

joshblum left a comment

🔥

@mmaxim mmaxim merged commit 9ef98ec into master Feb 12, 2020
1 of 2 checks passed
1 of 2 checks passed
continuous-integration/jenkins/pr-head The build of this commit was aborted
Details
ci/circleci Your tests passed on CircleCI!
Details
@mmaxim mmaxim deleted the mike/HOTPOT-1969 branch Feb 12, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

2 participants
You can’t perform that action at this time.