log

age author description
Fri, 29 Sep 2023 20:51:49 +0200 Georges Racinet rust-index: headrevsfiltered() returning Rust result
Mon, 30 Oct 2023 11:14:25 +0100 Raphaël Gomès rust-index: add support for `headrevsfiltered`
Tue, 19 Sep 2023 15:21:43 +0200 Raphaël Gomès rust-index: implement headrevs