| Thu, 10 Aug 2023 16:40:07 +0200 | wenzelm | clarified signature: more explicit types; | changeset | files |
| Thu, 10 Aug 2023 15:11:21 +0200 | wenzelm | more informative shasum: show differences explicitly; | changeset | files |
| Thu, 10 Aug 2023 12:26:20 +0200 | wenzelm | tuned messages; | changeset | files |