Merge branch 'release-4-5-patches'
authorCarsten Kutzner <ckutzne@gwdg.de>
Wed, 17 Nov 2010 11:03:56 +0000 (12:03 +0100)
committerCarsten Kutzner <ckutzne@gwdg.de>
Wed, 17 Nov 2010 11:03:56 +0000 (12:03 +0100)
1  2 
src/kernel/runner.c

Simple merge