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

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