Re: [GHC] #9928: Wrong information about the version of the time library in the release notes of various versions of GHC