| Sat, 14 Jan 2023 19:36:02 +0100 | wenzelm | proper session_options (amending da13da82f6f9); | changeset | files |
| Sat, 14 Jan 2023 19:29:14 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 14 Jan 2023 17:52:12 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 13 Jan 2023 19:16:24 +0100 | wenzelm | clarified types; | changeset | files |