You won't have permissions to push it to 7.10. I can try to get to it soon, but I make no guarantees until next week (out of town atm).
CC Herbert, who can probably get to it more promptly than I can.
On Thursday, January 29, 2015, Ben Gamari <ben@smart-cactus.org> wrote:
Kazu Yamamoto <kazu@iij.ad.jp> writes:
> Hi,
>
> This is just confirmation. Ben's one-shot patch (*1) is included in
> master but not included in the ghc-7.10 branch. Is this intentional?
> Is it supposed to be merged in GHC 7.12?
>
I merged it to master, asked thoughtpolice on #ghc how I should merge it
to the 7.10 branch and promptly forgot about it, sadly. Thanks for
mentioning this, Kazu.
Austin, should I just cherry-pick it now?
Cheers,
- Ben