| Thu, 10 Aug 2023 19:48:39 +0200 | wenzelm | more robust wrt. undefined state; | changeset | files |
| Thu, 10 Aug 2023 19:42:21 +0200 | wenzelm | more informative error; | changeset | files |
| Thu, 10 Aug 2023 16:57:01 +0200 | wenzelm | more robust; | changeset | files |
| Thu, 10 Aug 2023 16:49:17 +0200 | wenzelm | tuned signature; | changeset | files |
| 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 |