Merge branch 'release-4-5-patches' into rotation-4-5
authorCarsten Kutzner <ckutzne@gwdg.de>
Mon, 8 Nov 2010 08:58:10 +0000 (09:58 +0100)
committerCarsten Kutzner <ckutzne@gwdg.de>
Mon, 8 Nov 2010 08:58:10 +0000 (09:58 +0100)
1  2 
src/kernel/runner.c

Simple merge