Merge branch 'maint'
commit5a78f12866e94d435bce541b05a2dc198eccdb97
authorNicolas Goaziou <n.goaziou@gmail.com>
Thu, 24 Oct 2013 09:18:19 +0000 (24 11:18 +0200)
committerNicolas Goaziou <n.goaziou@gmail.com>
Thu, 24 Oct 2013 09:18:19 +0000 (24 11:18 +0200)
tree5b334d32b28f7be1219ca646649f3ccec31aea57
parentaff4f10d798a601d48aeca6be2b369874e8ca04a
parent6541e1632f51b4ade0c9318f756f10b5af455bc9
Merge branch 'maint'
doc/org.texi