Re: [GHC] #9928: Wrong information about the previous version of the time library in GHC 7.10.1 RC2 release notes