Merge branch 'maint'
commit6d283dcade4fbc67bad01f18fa65f86cc677560d
authorNicolas Goaziou <mail@nicolasgoaziou.fr>
Wed, 17 Apr 2019 12:22:21 +0000 (17 14:22 +0200)
committerNicolas Goaziou <mail@nicolasgoaziou.fr>
Wed, 17 Apr 2019 12:22:21 +0000 (17 14:22 +0200)
tree9e3cd5f620b0ef2866ec85f012f73c43878aab43
parent65399aea4837455de88d5740b0994c34dbcb6ec4
parent0803e2d0eaf870a982fbfd71d85fd8bb7a546595
Merge branch 'maint'
doc/org-manual.org