On Jun 12, 2013 12:11 PM, "Timothy Gu" <timothygu99 at gmail.com> wrote: > > On Tue, Jun 11, 2013 at 4:52 PM, Timothy Gu <timothygu99 at gmail.com> wrote: > > --- > > doc/general.texi | 11 ++++++++--- > > 1 file changed, 8 insertions(+), 3 deletions(-) > > > > Ping Ping no. 2 > > [...]