Merge branch 'maint'
commit1bb9cf1597e9cd9b2dee086d830cfe3cb3c6509e
authorNicolas Goaziou <mail@nicolasgoaziou.fr>
Wed, 29 Nov 2017 22:02:42 +0000 (29 23:02 +0100)
committerNicolas Goaziou <mail@nicolasgoaziou.fr>
Wed, 29 Nov 2017 22:02:42 +0000 (29 23:02 +0100)
tree9b9deabf5bd2b9e5d33c9c7a3b5bd9f79362cb38
parent33d554aacce74ff688b952be74ac9d5246f42b8e
parent6fe212a3ec479b3a2b9665bb348b92c225db1562
Merge branch 'maint'
doc/org.texi