In article <050326050255.M0125398@mirage.ceres.dti.ne.jp>
I wrote:

> > I don't think your patch causes the freeze, because they happened
> > before, too!
> 
> Ok, then there is no bad side effect (except some performance hit
> by extra cache flush) with it.
> 
> > So, which version are you going to commit? The older, more cache
> > flushier one, or the latter?
> 
> The latter one.

Committed. If you find any problems, please report via send-pr(1).
---
Izumi Tsutsui