Skip to content
Unverified Commit a6b13923 authored by Mark Waite's avatar Mark Waite Committed by GitHub
Browse files

Merge pull request #5396 from daniel-beck/number-of-executors 

Do not shorten "number" to "#"
parents 7dd28afd 4bb69d26
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment