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

[Viresh Kumar]

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