Merge branch 'master' into rotation
commit47e24e71315dd1b1ff8eb04d8254935fa57a6104
authorCarsten Kutzner <ckutzne@ckutzne.mpibpc.intern>
Wed, 21 Jul 2010 09:05:34 +0000 (21 11:05 +0200)
committerCarsten Kutzner <ckutzne@ckutzne.mpibpc.intern>
Wed, 21 Jul 2010 09:05:34 +0000 (21 11:05 +0200)
treea7082b051f2d0f1db692806f9f95218f0ffa07a3
parent38eb246f59ad1564db63f891e0ed3a66ed743ab9
parent9e1918ec38a04dc90d02f7645a6208422d6d4bed
Merge branch 'master' into rotation
src/kernel/runner.c