Merge commit 'junio/next' into nextmaster
commitdd5d13f5ea439ad3d5320157b78e831101758128
authorSteffen Prohaska <prohaska@zib.de>
Sat, 24 May 2008 15:28:41 +0000 (24 17:28 +0200)
committerSteffen Prohaska <prohaska@zib.de>
Sat, 24 May 2008 15:28:41 +0000 (24 17:28 +0200)
tree10ae7ba507913365351da3ae03acdef146a53c69
parent0f68660d149f706045f716d8e76a106338ca0dfb
parent57780b0a4b9b0344ed87dc79f1435a10135cd777
Merge commit 'junio/next' into next
t/t5520-pull.sh