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    [email protected]
GNU Project         http://www.gnu.org



Reply via email to