Merge branch 'maint'
commit1d7c75f856a3259f20e82faec4efde5079de78f5
authorMichael Brand <michael.ch.brand@gmail.com>
Sun, 1 Jun 2014 13:27:33 +0000 (1 15:27 +0200)
committerMichael Brand <michael.ch.brand@gmail.com>
Sun, 1 Jun 2014 13:27:33 +0000 (1 15:27 +0200)
treee37a23b9c588b0e167cf8b709f414febb7446710
parentc6f8ed4b10dd42952fc1b4b15b45af01b424d5e3
parent9e09b2d5f62ffcea32194d65127f4b54a6d74440
Merge branch 'maint'
doc/org.texi