On Tue, Jun 11, 2013 at 4:58 PM, Timothy Gu <timothygu99 at gmail.com> wrote: > --- > doc/encoders.texi | 38 ++++++++++++++++++++++++++++++++++++++ > 1 file changed, 38 insertions(+) Ping [...] Timothy Gu