Re: #4259: request dist-f15-ghc for updating ghc to new release