Ricardo Wurmus <rekado@elephly.net> writes:

> Marius Bakke <mbakke@fastmail.com> writes:
>
>> Should we do a new merge to get the GHC patch, or just merge
>> core-updates and let the problem "fix itself" on 'master'?
>
> I’d prefer building GHC and ghc-resourcet first.  We don’t know if this
> patch actually fixes our problems.  We should merge master into
> core-updates again.

I've failed to build ‘ghc-pandoc’, because of dependency ‘ghc-resourcet’
failed to build on both branches

   - origin/master 369eee8763ca34b427860a86c8fe2db0963b52ae
   - origin/core-updates a124e4258ad911e1a65edb6c7d7d8f095249db5f

Oleg.