Merge pull request #12252 from seamuslee001/dev_core_160
authorEileen McNaughton <eileen@mcnaughty.com>
Tue, 5 Jun 2018 04:11:24 +0000 (16:11 +1200)
committerGitHub <noreply@github.com>
Tue, 5 Jun 2018 04:11:24 +0000 (16:11 +1200)
dev/core#160 Set the import progress widget to poll the server every …


Trivial merge