Merge branch 'maint'
commitd94475d63c15cc445d6357a6ca531de6c9e8be34
authorKaushal Modi <Kaushal.Modi@gmail.com>
Fri, 23 Jun 2017 10:05:10 +0000 (23 06:05 -0400)
committerKaushal Modi <Kaushal.Modi@gmail.com>
Fri, 23 Jun 2017 10:05:10 +0000 (23 06:05 -0400)
treed22aa8a73ab39a6a076bfc2b8821322b401881ee
parent3741196060786f29d788db93961ccfcc3215c790
parent3c9ec81e1855cf362a98b689655af49bfd4831e6
Merge branch 'maint'
doc/org.texi