On Wed, Apr 04, 2012 at 02:47:48PM +0200, David Tardon wrote: > -> Björn: Since you have already verified the fix works, you have won > the unique opportunity to cherry-pick it. Hurry before it is too late :-) done.