Commit d32523a56d56b17444d3453e8622068bd3406ba0

Bruno Haible 2002-12-17T11:48:24

Use full_read instead of safe_read.