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
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