Author: rhuijben
Revision: 1416606
Modified property: svn:log
Modified: svn:log at Wed Dec 5 09:16:26 2012
------------------------------------------------------------------------------
--- svn:log (original)
+++ svn:log Wed Dec 5 09:16:26 2012
@@ -2,4 +2,4 @@
(obstructed_add_options): Add the end-of-list marker. A follow-up to
r1416578.
-Found by: Bert
+Found by: rhuijben