Merge from mainline.
authorPaul Eggert <eggert@cs.ucla.edu>
Fri, 14 Jan 2011 21:12:57 +0000 (13:12 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Fri, 14 Jan 2011 21:12:57 +0000 (13:12 -0800)
commitc35917bae472ab11b5ab6f6771ddd6f22743af2c
tree0260e7112df5cf3c86acdbd108b14885e1e43d2d
parent8a1f4a98c1b8e3abaf1b46394a88d09531ce4c2d
parent46d71064338f940f2ffbd7f49a1709ac39bf44a4
Merge from mainline.
ChangeLog
make-dist