Merge branch 'maint'
commit2faebbd2f038bdd98040037f7f4ac9d5e9f1c22b
authorNicolas Goaziou <mail@nicolasgoaziou.fr>
Wed, 20 Sep 2017 10:56:17 +0000 (20 12:56 +0200)
committerNicolas Goaziou <mail@nicolasgoaziou.fr>
Wed, 20 Sep 2017 10:56:17 +0000 (20 12:56 +0200)
tree6bcb8bedd4741f1949511fbefdd39dd1e87041c2
parentcf35109ad8be6e34a6fc38ac37a38fc37a7acf08
parent1ef71bf7e0fafdc9a9cadb012574b74ef209807b
Merge branch 'maint'
doc/org.texi