diff tests/run-tests.py @ 51217:898674a4dbc7

rust-index: headrevsfiltered() returning Rust result
author Georges Racinet <georges.racinet@octobus.net>
date Fri, 29 Sep 2023 20:51:49 +0200
parents 6408777c8fa4
children 493034cc3265 7ff35f1290c0
line wrap: on
line diff