| Wed, 11 Sep 2024 15:36:14 +0200 | wenzelm | minor performance tuning, notably for Bytes.add (e.g. YXML output); | changeset | files |
| Wed, 11 Sep 2024 12:46:56 +0200 | wenzelm | revert 90f6e541e926, which has become pointless thanks to df85df6315af; | changeset | files |
| Wed, 11 Sep 2024 12:32:11 +0200 | wenzelm | clarified signature and modules; | changeset | files |