diff -r 829d6711b316 -r 7a38fc77fbde TODO
--- a/TODO	Wed Jul 09 10:11:13 2008 -0400
+++ b/TODO	Wed Jun 08 15:15:27 2016 +0100
@@ -1,3 +1,6 @@
+Kris's original TODO list follows:
+
+----------------------------------------------------------------------
 Towards replacing rpm + yum (0.1):
 
 - drop the filelists from the main package set file, split out to a