Merge branch 'master' into guile-meta
commit5a7c0553d5b60cd9475ecb33c5d65b76789757e0
authorJose Antonio Ortega Ruiz <jao@gnu.org>
Tue, 9 Nov 2010 20:55:22 +0000 (9 21:55 +0100)
committerJose Antonio Ortega Ruiz <jao@gnu.org>
Tue, 9 Nov 2010 20:55:22 +0000 (9 21:55 +0100)
treec07e015f1ce0621de7710cd2166b18fdba22d812
parent27916d2da2e43f231daff12249b19701f5a27b4f
parent3db4017f11317c497fba0e97adb5fd1a18ca4534
Merge branch 'master' into guile-meta