2010/12/5 Richard Guenther <richard.guenther@gmail.com>: > On Sun, Dec 5, 2010 at 9:39 AM, Mingjie Xing <mingjie.xing@gmail.com> wrote: >> Hi, >> >> A simple typo fix. Is it OK? > > Ok. Committed revision 167484. Thanks, Mingjie