5 Feb
2016
5 Feb
'16
11:26 a.m.
On Fri, Feb 05, 2016 at 05:25:15PM +0100, Johannes Waldmann wrote:
What's changed?
I was referring to a discussion on ghc-devs, see https://mail.haskell.org/pipermail/ghc-devs/2016-February/011268.html and mixed up addresses when replying.
I'm glad you did, because this is the first I've heard of it!