Thu, 03 Aug 2023 14:50:17 +0200 | Raphaël Gomès | rust-index: add missing special case for null rev | changeset | files |
Wed, 02 Aug 2023 16:49:17 +0200 | Raphaël Gomès | rust-index: use the rust index in `shortest` | changeset | files |
Wed, 02 Aug 2023 14:34:21 +0200 | Raphaël Gomès | rust-index: add checks that `__contains__` is synchronized | changeset | files |