Merge branch 'maint'
commitd9344b9ad674f567829864364a973bf452a948f0
authorBastien <bzg@gnu.org>
Sun, 25 Jun 2017 08:53:06 +0000 (25 10:53 +0200)
committerBastien <bzg@gnu.org>
Sun, 25 Jun 2017 08:53:06 +0000 (25 10:53 +0200)
tree590f51c231758958763bb64c8851d29c8f52090f
parent6fac813a5230c0e4d1eb998e89168e9c5e435510
parent08334effc1b8237f79f792384fc5a86bb14396ea
Merge branch 'maint'
doc/org.texi