Mon, 11 Jul 2022 09:54:40 +0200 | Raphaël Gomès | branching: merge stable into default | changeset | files |
Mon, 11 Jul 2022 09:50:32 +0200 | Raphaël Gomès | Added signature for changeset 094a5fa3cf52 | changeset | files |
Mon, 11 Jul 2022 09:50:13 +0200 | Raphaël Gomès | Added tag 6.2 for changeset 094a5fa3cf52 | changeset | files |
Mon, 11 Jul 2022 01:51:20 +0200 | Manuel Jacob | procutil: make stream detection in make_line_buffered more correct and strict | changeset | files |
Tue, 05 Jul 2022 17:53:26 +0200 | Pierre-Yves David | repo-upgrade: avoid a crash when multiple optimisation are specified | changeset | files |
Wed, 25 May 2022 18:29:21 +0200 | Raphaël Gomès | rust: remove excessive calls to `#[timed]` | changeset | files |