On Wed, 2010-08-11 at 10:24 +0200, Christian Thalinger wrote: > On Thu, 2010-07-08 at 16:08 -0700, Vladimir Kozlov wrote: > > Changes in our files looks fine. > > Sorry for the delay, I'll push it today. -- Christian ...and it goes in as: 6976186: integrate Shark HotSpot changes -- Christian