Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix query count in benchmark tool (#667)
Now that @robert3005 got Q15 running, we have 22 queries and not 21, so the progress bar is too short.
- Loading branch information