Thanks for the details.  I think I've seen the cache corrupted
several times, I didn't know it was this.  Any direction on how
to debug such problems?  The symptoms were that moving around
with M-<down> and friends was completely erratic.

-- 
 Bastien

Reply via email to