Commit 20b0ccb14b89eb7fdbc79c99bd010a8b0605f3af

Bruno Haible 2006-08-08T13:11:11

Make the last patch more future-proof.