Ricardo Wurmus <rek...@elephly.net> writes: > Marius Bakke <mba...@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 did the merge.
Mark
