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.

Sign up for GitHub

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

Jump to bottom

Hl/#2063 pooling metrics (a fix) #2095

Merged
merged 7 commits into from
Aug 21, 2019
Merged

Hl/#2063 pooling metrics (a fix) #2095

merged 7 commits into from
Aug 21, 2019

Conversation

haitamlaarabi
Copy link
Collaborator

@haitamlaarabi haitamlaarabi commented Aug 20, 2019 •
edited by colinsheppard
Loading

This change is Reviewable

@wrashid
Copy link
Collaborator

wrashid commented Aug 20, 2019

Test!

@haitamlaarabi
Copy link
Collaborator Author

Test!

@haitamlaarabi
Copy link
Collaborator Author

test!

@wrashid wrashid merged commit 888ca17 into develop Aug 21, 2019
@wrashid wrashid deleted the HL/#2063-pooling-metrics branch August 21, 2019 01:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@wrashid wrashid wrashid approved these changes

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

Successfully merging this pull request may close these issues.
2 participants
@haitamlaarabi @wrashid