diff -r f7f01af63a02 -r b3b1369752ba TODO
--- a/TODO	Sun May 24 21:44:21 2009 +0000
+++ b/TODO	Mon May 25 17:22:54 2009 +0000
@@ -14,6 +14,7 @@
     - CLooG
     - MPC
   - check that the patchset from 4.3.3 still applies
+  - commonalise the companion library check box: check-all-or-check-none (?)
 
 - uClinux