log

age author description
Sat, 09 Nov 2019 13:23:54 +0100 Pierre-Yves David perf: make `perfnodemap` use the new `index.get_rev` api if available