Merge branch 'maint'
commita5dbedea06ebe66ac71bc52e977624b0ab5a0783
authorNicolas Goaziou <mail@nicolasgoaziou.fr>
Sat, 19 Aug 2017 09:11:55 +0000 (19 11:11 +0200)
committerNicolas Goaziou <mail@nicolasgoaziou.fr>
Sat, 19 Aug 2017 09:11:55 +0000 (19 11:11 +0200)
tree466f53fbf3856c923ad281c8d9cb5e8fffff1edf
parent8e599ff546e3aaee88c11bd6c4592ad5374bf0ce
parentd01ee01d528c896c8e14977527b842eba0dbc170
Merge branch 'maint'
doc/org.texi