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