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)
commitf0637f521d370ec99000f86b6bca06378e79e822
tree97a6e8680aecf467ea9c37f2af6b6ba31b9058de
parent9949d736f3d7f42f53e30c052c824a35e1c8da6f
parent258c7acc9aead233a7c91fef1fc4af60fdc2ff68
Merge branch 'release-4-5-patches' into rotation-4-5
src/kernel/runner.c