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