| Thu, 07 Nov 2019 11:20:49 +0100 | wenzelm | tuned messages; | changeset | files |
| Thu, 07 Nov 2019 11:10:06 +0100 | wenzelm | more messages -- expose potential database problems; | changeset | files |
| Thu, 07 Nov 2019 11:00:11 +0100 | wenzelm | clarified errors: include stdout; | changeset | files |