* The last patch has introduced a bad-bindings bug. Since it was
authorDirk Herrmann <dirk@dirk-herrmanns-seiten.de>
Tue, 6 Mar 2001 13:27:33 +0000 (13:27 +0000)
committerDirk Herrmann <dirk@dirk-herrmanns-seiten.de>
Tue, 6 Mar 2001 13:27:33 +0000 (13:27 +0000)
commit387c1a3bc0adc035dd5aa068288699b50105d250
tree1a4cf6b23f9c593536ceb032067286a5f531c1a9
parent2ade72d773d77b516d881bdd5b05647ddc83bc0d
* The last patch has introduced a bad-bindings bug.  Since it was
  unnecessary anyway, I simply reverted it.
guile-config/ChangeLog