Merge branch 'rotation-4-5' into rotation
authorCarsten Kutzner <ckutzne@gwdg.de>
Mon, 8 Nov 2010 10:34:42 +0000 (11:34 +0100)
committerCarsten Kutzner <ckutzne@gwdg.de>
Mon, 8 Nov 2010 10:34:42 +0000 (11:34 +0100)
commitc542f3885f6c742fad69de07b9fa4a199cfabe0e
tree747c75a4cd3a9b15270ed65919e17dd9a058a525
parent282749bfee7482c71aa0fd1619c5e8392fef66d9
parent7f25d58f6d0679fb33da85c0121ffaec04e613ab
Merge branch 'rotation-4-5' into rotation
src/kernel/runner.c