Merge branch 'maint'
commit555c0520cad9009ddaedfe813e3a8a1eb5ad57f0
authorBastien Guerry <bzg@altern.org>
Tue, 23 Jul 2013 16:47:19 +0000 (23 18:47 +0200)
committerBastien Guerry <bzg@altern.org>
Tue, 23 Jul 2013 16:47:19 +0000 (23 18:47 +0200)
tree3ee816e68d230c5c264e85f194b4d551d92a5242
parent814755a2d7cc90413abd4936180f7b38c159f563
parentc85aabdcf1b133f33dc16a6cba29be2a2fa41902
Merge branch 'maint'
doc/org.texi