Merge branch 'maint'
commit9cfa907971ce447615c3f09c24502b6d88d272e1
authorNicolas Goaziou <mail@nicolasgoaziou.fr>
Thu, 28 Sep 2017 14:25:36 +0000 (28 16:25 +0200)
committerNicolas Goaziou <mail@nicolasgoaziou.fr>
Thu, 28 Sep 2017 14:25:36 +0000 (28 16:25 +0200)
treef5dec9b57c754f0508db2074d4944f272f8bf2cd
parent4f619fc200d0c03f45f70ed686659fe52e8bbfb3
parenta563ccabe3523a5204c730d3c5be3e0d661a0790
Merge branch 'maint'
doc/org.texi