On Sun, 21 Jul 2013, Mike Stump wrote: > I've reviewed and applied the gcc/doc changes that were trivial. The > only patches not applied were the ok->OK patches.
*For formal documentation* such as gcc/doc, I think changing ok->OK is appropriate; the formal documentation should be more conservative about English style than code comments need to be. -- Joseph S. Myers jos...@codesourcery.com
