Skip to content

Enh pooling#2528

Merged
jaimecasero merged 2 commits intomasterfrom
enh-pooling
Sep 28, 2017
Merged

Enh pooling#2528
jaimecasero merged 2 commits intomasterfrom
enh-pooling

Conversation

@jaimecasero
Copy link
Copy Markdown
Contributor

No description provided.

@jaimecasero
Copy link
Copy Markdown
Contributor Author

team decided to merge in light of testsuite and perf results

@jaimecasero jaimecasero merged commit 922216e into master Sep 28, 2017
@jaimecasero jaimecasero deleted the enh-pooling branch November 10, 2017 10:17
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.

1 participant