Merge branch 'maint'
commit8db6f52c0d656c2a4f027e0e333542d318f7fcf5
authorNicolas Goaziou <mail@nicolasgoaziou.fr>
Thu, 25 Apr 2019 08:28:45 +0000 (25 10:28 +0200)
committerNicolas Goaziou <mail@nicolasgoaziou.fr>
Thu, 25 Apr 2019 08:28:45 +0000 (25 10:28 +0200)
tree5119e30ee3092bbaf9b5fb7181d2669401bb0df6
parent262bcb4557f5162dd3f8feb7fbd2aada6773abc1
parent4ec550fd5aa9629ff145739247a938ea90b3a473
Merge branch 'maint'
doc/org-manual.org