25 Aug
2016
25 Aug
'16
10:09 p.m.
Simon Peyton Jones via ghc-devs
ben is this a merge onto the 8.0 branch? On the ticket it just looks like a duplicate merge, which is jolly odd. This didn't use to happen...
Indeed, I enabled commit notifications on the stable branches earlier today in hopes that it would reduce the book-keeping costs associated with their maintenance. While it has been a bit easier, I was hoping that there would be some indication of which branch the commit is on in the Trac message. Would you prefer that I again disable these notifications on the stable branches? Cheers, - Ben