Merge branch 't/patch423' into brian
commit1cb57f37fdd3498b10a953a0b63e276d906c5fce
authorCarsten Dominik <carsten.dominik@gmail.com>
Sat, 4 Dec 2010 18:12:35 +0000 (4 19:12 +0100)
committerCarsten Dominik <carsten.dominik@gmail.com>
Sat, 4 Dec 2010 18:12:35 +0000 (4 19:12 +0100)
tree64013d56fe74262a68cc459eff646dee396005b4
parent3c98036f2a2fbf1a6a9b34c34dc8556c62933472
parent2f9e1e48b84eab169d408c649ce206eb04ed4278
Merge branch 't/patch423' into brian
doc/org.texi