Tue, 02 Jul 2024 23:28:55 +0200 | wenzelm | more uniform Bytes.read_stream vs. File.read_stream; | changeset | files |
Tue, 02 Jul 2024 23:13:35 +0200 | wenzelm | clarified YXML.Source: more direct support for String and Bytes, instead of CharSequence; | changeset | files |
Tue, 02 Jul 2024 22:38:00 +0200 | wenzelm | more specialized operations; | changeset | files |
Tue, 02 Jul 2024 21:54:12 +0200 | wenzelm | notable performance tuning for Library.separated_chunks variants; | changeset | files |
Tue, 02 Jul 2024 21:35:40 +0200 | wenzelm | tuned; | changeset | files |
Tue, 02 Jul 2024 17:38:28 +0200 | Fabian Huch | only consider jobs late if they have ancestors (amending 12901c03b416); | changeset | files |