Commit ece57f1eec22076c27fcc9f524cde21a10aa2a3a

Bruno Haible 2005-08-16T16:07:59

Bug fix: make the comparison operations transitive.