Merge "loop_filter_rows_mt: unify worker count calculation"
authorJames Zern <jzern@google.com>
Sun, 14 Apr 2019 00:21:50 +0000 (00:21 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Sun, 14 Apr 2019 00:21:50 +0000 (00:21 +0000)

Trivial merge