Comment from John D. McCalpin on concurrency-costs#754

travisdowns-bot wants to merge 1 commit intomastertravisdowns/travisdowns.github.io:masterfrom

staticman_d3ef2c20-8d5c-11f0-b11d-51afb330cee9travisdowns/travisdowns.github.io:staticman_d3ef2c20-8d5c-11f0-b11d-51afb330cee9Copy head branch name to clipboard