Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Tweaks to benchmark client configuration (#259)
Some tweaks to the benchmark client in #254 which were meant to be included there, but which I apparently forgot to push to GitHub before pushing the "merge" button. See comment [1]. [1] #254 (comment)
- Loading branch information