PS perhaps this is related to your earlier
http://debbugs.gnu.org/cgi/bugreport.cgi?bug=17651

Both seem to involve the cache.



Reply via email to