diff Makefile @ 2413:22fb71a2d865

obshashrangecache: make sure we re-warm the cache after a reset This will "mitigate" the effect of dropping existing entries when new markers affect existing range.
author Pierre-Yves David <pierre-yves.david@octobus.net>
date Thu, 18 May 2017 17:47:59 +0200
parents b53343c8d692
children 7cdbe18838bc
line wrap: on
line diff