Commit 17ef7533a2d2a52e7d12448a76ffb06efeb3f47b

Bruno Haible 2008-05-10T15:40:48

Use case-insensitive comparison.