Skip to content

Conversation

@a-brandt
Copy link
Contributor

Reverts #31

a-brandt pushed a commit that referenced this pull request Feb 26, 2016
Revert "Batch driver performance fix"
@a-brandt a-brandt merged commit 377a9fe into master Feb 26, 2016
@mvollmary mvollmary deleted the revert-31-batch-perf branch June 8, 2018 12:20
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.

2 participants