From e40275553914fcef57a2ca19c1c09cd2a1ef9db7 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Thu, 7 Jul 2011 18:58:35 -0400 Subject: [PATCH] Add a new TODO item. --- doc/TODO | 2 ++ 1 file changed, 2 insertions(+) diff --git a/doc/TODO b/doc/TODO index 53c9b37..a49de2b 100644 --- a/doc/TODO +++ b/doc/TODO @@ -4,3 +4,5 @@ * Update the test suite to use the test-framework package. * Add the section (2.9) tests. + +* Figure out why TC.prop_c0120_identity4 and friends are failing. -- 2.43.2