Commit 2ba871b289749131301b1b27e1b5eb3142cabc43
2013-06-09T08:20:54
* src/cache/ftcmanag.c (FTC_Manager_Reset): Add missing cache flush. This code, present since eight(!) years in the unused `CACHE' branch, has been forgotten to apply to the master branch. It's really amazing that noone has ever complained since `FTC_Manager_Reset' is pretty useless without flushing the cache.