ChangeLog fix (no need to merge to trunk)
commitdaca02043b6453e90f5c652b8e2c8d1c6e5354a0
authorGlenn Morris <rgm@gnu.org>
Thu, 11 Jul 2013 17:19:31 +0000 (11 13:19 -0400)
committerGlenn Morris <rgm@gnu.org>
Thu, 11 Jul 2013 17:19:31 +0000 (11 13:19 -0400)
tree164b0a313c3037bbbbfcd544907ca7a4e6de56d4
parentc54c978e1d11d64419265cb0782bbecff1d417b8
ChangeLog fix (no need to merge to trunk)
ChangeLog