diff --git a/etc/TODO b/etc/TODO
index e03c5d76a7f847fa0801aec7ccb7c43564c3a48b..85ce494c6010389f6883ddba15e73f741b61f494 100644
--- a/etc/TODO
+++ b/etc/TODO
@@ -553,6 +553,10 @@ but which can also be used as a modifier).
 ** Cleanup all the GC_ mark bit stuff -- there is no longer any distinction
    since the mark bit is no longer stored in the Lisp_Object itself.
 
+** Refine the `predicate' arg to read-file-name.
+   Currently, it mixes up the predicate to apply when doing completion and the
+   one to use when terminating the selection.
+
 ** Merge ibuffer.el and buff-menu.el.
    More specifically do what's needed to make ibuffer.el the default,
    or just an extension of buff-menu.el.
diff --git a/etc/compilation.txt b/etc/compilation.txt
index 933b486bb0fa204c77cc58eb8d099c7934bd3d11..4b8990d5e39d73c9447e4d4a235f185a3f7d7d42 100644
--- a/etc/compilation.txt
+++ b/etc/compilation.txt
@@ -404,6 +404,7 @@ Compilation killed at Wed Jul 20 12:20:10
 Compilation terminated at Wed Jul 20 12:20:10
 Compilation exited abnormally with code 1 at Wed Jul 20 12:21:12
 Compilation finished at Thu Jul 21 15:02:15
+Compilation segmentation fault at Thu Jul 13 10:55:49
 
 
 Copyright (C) 2004, 2005, 2006, 2007