Merge branch 'maint'
commitb6025f42d3cd3557c3eca156b0689d06d7f84d2c
authorMichael Brand <michael.ch.brand@gmail.com>
Tue, 11 Feb 2014 18:31:21 +0000 (11 19:31 +0100)
committerMichael Brand <michael.ch.brand@gmail.com>
Tue, 11 Feb 2014 18:31:21 +0000 (11 19:31 +0100)
treebbebb822a6891fb029c40b73d1d03f80b5b6cebb
parentbd0f9b8052036f9733adc6511f721a7d20f3215d
parent9de9c0d1b535b1d061f361beb676f3e8d3aa943b
Merge branch 'maint'
doc/org.texi