I've updated the token writer based on Jose's comments, and made a few
   other minor changes.  This version is ready for merging.

Merged, thanks.

-- 
Jose E. Marchesi  <[email protected]>
                  http://www.jemarch.net
GNU Project       http://www.gnu.org


Reply via email to