On Tue, Dec 4, 2012 at 8:26 PM, Steven Bosscher <stevenb.gcc@gmail.com> wrote: > Hello, > > Just comment updates, and a bit of documentation. > Not sure if the comment changes need a ChangeLog. They do. > OK for trunk? Ok. Thanks, Richard. > Ciao! > Steven