| Sat, 29 Apr 2017 10:33:43 +0200 | wenzelm | proper query (amending ce15da15f8e2); | changeset | files |
| Sat, 29 Apr 2017 10:17:08 +0200 | wenzelm | put bulky data last; | changeset | files |
| Sat, 29 Apr 2017 10:06:16 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 29 Apr 2017 09:58:47 +0200 | wenzelm | more log files; | changeset | files |