On Tue, Jan 27, 2015 at 03:16:14PM -0800, Greg Fitzgerald wrote: > If BBP is going to be released as-is, can we please call the next > release GHC 8.0? Adding semantics to release numbers? IMHO that doesn't work. Ciao, Kili