OK, it's a baby step, but it removes one unnecessary use of DummyProgress and fixes a typo too.
« Back to merge proposal
OK, it's a baby step, but it removes one unnecessary use of DummyProgress and fixes a typo too.