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