| Sat, 20 Jun 2020 22:35:24 +0200 | wenzelm | enable pide_session by default (again), with extra JVM heap for AFP tests (see also 86e429abd38d, 026de3424c39); | changeset | files |
| Sat, 20 Jun 2020 21:44:43 +0200 | wenzelm | discontinued old AFP test: ancient hardware with insufficient resources; | changeset | files |
| Sat, 20 Jun 2020 19:05:56 +0200 | wenzelm | tuned output; | changeset | files |