I resolved this by just bumping our submodule to latest HEAD
in the repo (which was taken by upstream.)
Edward
Excerpts from Edward Z. Yang's message of 2016-12-17 21:45:20 -0800:
> Hi all,
>
> I'd like to push the following patch (see bottom of email)
> to GHC's time repository, but I do not
Hi all,
I'd like to push the following patch (see bottom of email)
to GHC's time repository, but I do not seem to have permissions.
Upstream has already taken the fix but the version we currently
have in the repo is quite a bit older than upstream.
Can someone do it for me / give me bits?