diff docs/obs-terms.rst @ 3326:8ebd31af1452

stablesort: warm jump cache more efficiently We no longer for a full depth iteration for all request: - we exit early for non-merge, - for merge, we only iterate over the exclusive area.
author Pierre-Yves David <pierre-yves.david@octobus.net>
date Sun, 10 Dec 2017 03:49:48 +0100
parents 07ce6c063c61
children 8406d9b06130
line wrap: on
line diff