<div dir="ltr">I can build a 7.8.5 binary for release if someone can put the patch in the GHC tree. (Having a soft spot in my heart for the 7.8 line!)<div>I'm leaving on a short trip, and will be back on Tuesday and build middle of next week.</div>‚Äč<div>- Mark</div></div>