Merge branch 'maint'
commitd015606e5bbcc7b5503a7d0a2d329709eee1beb5
authorRasmus <rasmus@gmx.us>
Sun, 13 Sep 2015 18:23:09 +0000 (13 20:23 +0200)
committerRasmus <rasmus@gmx.us>
Sun, 13 Sep 2015 18:23:09 +0000 (13 20:23 +0200)
tree4c04f867a1ed906058bdff06c564182ea98ef298
parent204ac9fd678fc754e1a032efd27907b59ba446cc
parent823cadafa67938c8721dfd22436006d66b064b4c
Merge branch 'maint'
doc/org.texi