Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Fixed issue where userId was out of sync between bot and user. #1378

Merged
merged 1 commit into from
Mar 14, 2019
Merged

Fixed issue where userId was out of sync between bot and user. #1378

merged 1 commit into from
Mar 14, 2019

Conversation

tonyanziano
Copy link
Contributor

Fixes #1373

@coveralls
Copy link

coveralls commented Mar 14, 2019 •
edited
Loading

Pull Request Test Coverage Report for Build 2238

  • 5 of 5 (100.0%) changed or added relevant lines in 1 file are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage increased (+0.07%) to 55.177%
Totals Coverage Status
Change from base Build 2232: 0.07%
Covered Lines: 4883
Relevant Lines: 8319
💛 - Coveralls

@tonyanziano tonyanziano merged commit 396b9c1 into v4.3.3 Mar 14, 2019
@tonyanziano tonyanziano deleted the toanzian/userid branch March 14, 2019 22:55
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@justinwilaby justinwilaby justinwilaby approved these changes

@a-b-r-o-w-n a-b-r-o-w-n Awaiting requested review from a-b-r-o-w-n a-b-r-o-w-n is a code owner

@compulim compulim Awaiting requested review from compulim compulim is a code owner

@corinagum corinagum Awaiting requested review from corinagum

@cwhitten cwhitten Awaiting requested review from cwhitten cwhitten is a code owner

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@tonyanziano @coveralls @justinwilaby