Hello Malcolm, Thursday, September 6, 2007, 8:57:55 PM, you wrote: > It will be included. But ghc-6.8.0 will be called ghc-6.8.1. thank you. please keep us informed about new names for 6.8.1, 7.0.0 and so on :) -- Best regards, Bulat mailto:Bulat.Ziganshin at gmail.com