Re: [GHC] #3314: Add compilation date to +RTS --info