| Sat, 18 Jan 2025 23:19:23 +0100 | wenzelm | clarified compression; | file | diff | annotate |
| Sat, 18 Jan 2025 22:41:33 +0100 | wenzelm | clarified patches: avoid duplication; | file | diff | annotate |
| Sat, 18 Jan 2025 22:29:47 +0100 | wenzelm | clarified patches; | file | diff | annotate | base |