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)
commitb6a28c98986ee3c72890e2c43677a8003f83a0c4
treeeb5ec0d5325f38866fe0301340ba8f15dcea1982
parent2aace066b924b144c72f69fd4fd42bada4a0fd25
parent8af879f3a74a201c40df9445a08beddb55451219
Merge branch 'release-4-5-patches'
src/kernel/runner.c