Make one-shot a per-registration property

Herbert Valerio Riedel hvr at gnu.org
Fri Jan 30 08:09:45 UTC 2015


On 2015-01-30 at 05:36:21 +0100, Austin Seipp wrote:
> 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.

I'll look into it later today


...for the future:

Please set the respective Trac tickets to which a commit belongs into
the 'fixed in HEAD, please merge to STABLE'-ticket-state, as well as
setting the proper milestone-value. That makes sure we don't miss it
when preparing releases.

Cheers,
  hvr


More information about the ghc-devs mailing list