| Sun, 16 May 2021 13:34:27 +0200 | wenzelm | tuned signature --- following hints by IntelliJ IDEA; | changeset | files |
| Sun, 16 May 2021 13:14:16 +0200 | wenzelm | ignore session build timeout, notably in AFP; | changeset | files |
| Sun, 16 May 2021 13:06:13 +0200 | wenzelm | check timeout_ignored as in ML, before applying timeout_scale; | changeset | files |