log

age author description
Mon, 17 Jan 2011 11:01:01 -0800 Paul Eggert Merge from mainline.
Sun, 16 Jan 2011 18:35:15 -0800 Paul Eggert Sync from gnulib.
Fri, 14 Jan 2011 13:12:57 -0800 Paul Eggert Merge from mainline.