Commit f58214d62e0c8a65aa13cf38ea148cef2547a06d

Bruno Haible 2008-03-10T02:01:23

Take into account the number of pushed-back bytes (ungetc).