Hi Vagrant,

On Wed, 18 Sep 2019 17:30:35 -0700
Vagrant Cascadian <vagrant@reproducible-builds.org> wrote:

> I went ahead and (re?)pushed it, dropping the use-modules bits based on
> ludo's review.

Thanks.  Not sure what happened, but I've checked it now, seems to be OK.