On Thu, 23 Aug 2012, Mingjie Xing wrote: > A very small patch. OK? > > 2012-08-23 Mingjie Xing <mingjie.xing@gmail.com> > > * doc/gty.texi: Fix typo. By the way, changes of this kind, you can just commit and post the patch; they do not require approval. (When in doubt feel free to ask, of course.) Gerald