2006-12-19 Paolo Bonzini <bonzini@gnu.org>
authorPaolo Bonzini <bonzini@gnu.org>
Tue, 19 Dec 2006 14:01:25 +0000 (14:01 +0000)
committerPaolo Bonzini <bonzini@gnu.org>
Tue, 19 Dec 2006 14:01:25 +0000 (14:01 +0000)
commit26c4a1a1d95bebb7736622df592658ed98f72f76
tree0450b9c843cec5332375d4e226cdbae3cf21e428
parent425c6cb00d22328650ba761bd06b184d3d4ade07
2006-12-19  Paolo Bonzini  <bonzini@gnu.org>

* configure.texi: Fix botched commit.
etc/ChangeLog
etc/configure.texi