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)
1  2 
src/kernel/runner.c

Simple merge