Merge branch 'maint'
commit42f3daf6cff6fba597a2d53092784270894673f9
authorNicolas Goaziou <mail@nicolasgoaziou.fr>
Sun, 14 May 2017 21:54:39 +0000 (14 23:54 +0200)
committerNicolas Goaziou <mail@nicolasgoaziou.fr>
Sun, 14 May 2017 21:54:39 +0000 (14 23:54 +0200)
tree15006ede2ddf061fcdd0366aa746a74b4ed2ec8c
parentdbe2424b077011f1a6eec66cc4c69f1a152dca91
parent6ce21caac53d3767586252b600caa2449dcca662
Merge branch 'maint'
doc/org.texi