Re: [pdf-devel] [PATCH] Token reader update

[jemarch]

   Here's a patch that makes several changes to the token reader, and
   fixes a few other bugs.  Please apply.

Applied in the trunk.  Thanks.

--
Jose E. Marchesi    jema...@gnu.org
GNU Project         http://www.gnu.org