From 960bf3df9d9c41a47e703f752c3d706dd1584080 Mon Sep 17 00:00:00 2001
From: Joey Hess <joey@gnu.kitenet.net>
Date: Thu, 26 Nov 2009 15:12:38 -0500
Subject: [PATCH 1/1] bugnum

---
 TODO | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/TODO b/TODO
index 40cf481..6358728 100644
--- a/TODO
+++ b/TODO
@@ -22,4 +22,4 @@
   process the new one.
 
   Until this is fixed, checkouts and updates need to be manually repeated
-  after mrconfig files have changes.
+  after mrconfig files have changes. (See #447553)
-- 
2.39.5