Merge pull request #9207 from adityamandaleeka/ci_dump_improvements
authorAditya Mandaleeka <adityamandaleeka@users.noreply.github.com>
Tue, 31 Jan 2017 18:26:49 +0000 (10:26 -0800)
committerGitHub <noreply@github.com>
Tue, 31 Jan 2017 18:26:49 +0000 (10:26 -0800)
commitb2b3e07625fa3308110d88cd9f013f788e02e5f7
tree3dc521d3fba351e84d643e3f569e327a42f0e531
parent6f1d51049a0c90b6402c575c2b8d05859616b6bf
parenta6b8ea0c1e329ee73303ec0dbecf22a97bdb0755
Merge pull request #9207 from adityamandaleeka/ci_dump_improvements

Switch to a newer version of the dump management service we use
tests/runtest.sh