Subject: [PATCH 0/6] cpufreq: use generic cpufreq drivers for Exynos4210platform

From: [email-masked] (Viresh Kumar)
Date: Thu, 14 May 2015 16:47:15 +0530

On 14-05-15, 12:53, Bartlomiej Zolnierkiewicz wrote:
> This doesn't seem to be a case.  His email doesn't bounce and his
> id exists (I've just checked this).  I think that he is just very
> busy with some other work.

Looks like I was thinking about someone else and thought he was
Thomas. Sorry Thomas. :)

-- 
viresh