Merge branch 'maint'
commitd1079c4f3f325c444fcff3ffa4d2fe8d370b7143
authorNicolas Goaziou <n.goaziou@gmail.com>
Mon, 1 Jul 2013 21:16:00 +0000 (1 23:16 +0200)
committerNicolas Goaziou <n.goaziou@gmail.com>
Mon, 1 Jul 2013 21:16:00 +0000 (1 23:16 +0200)
tree6a90a69c80636f928f49b8222f3b5d929a622053
parent116a66c5bea451fff291fe26ab742b845cde288b
parent3e584f4c54dc42f3e6f82eeee4a20114199caab0
Merge branch 'maint'
doc/org.texi