Merge branch 'maint'
commit45f25aea7557bc3ddc02619a3f76b95a35002700
authorNicolas Goaziou <mail@nicolasgoaziou.fr>
Sun, 13 Nov 2016 17:10:53 +0000 (13 18:10 +0100)
committerNicolas Goaziou <mail@nicolasgoaziou.fr>
Sun, 13 Nov 2016 17:10:53 +0000 (13 18:10 +0100)
tree93724142bddbf14a2b31a3e42a7ab9fde688ee95
parent6ea46c7257c33f213b20e31fe7159a5ca1860e09
parent928e18dff9637314e2a5cce5f62be1e3b4971500
Merge branch 'maint'
doc/org.texi