Re: Minor doc patch for ghc 7.10 + did I submit the patch correctly/follow the process?