| Sun, 25 Feb 2024 20:13:08 +0100 | wenzelm | tuned signature; | changeset | files |
| Sun, 25 Feb 2024 18:47:14 +0100 | wenzelm | tuned signature: follow PostgreSQL syntax instead of JDBC API; | changeset | files |
| Sun, 25 Feb 2024 14:53:59 +0100 | wenzelm | more robust shutdown: interruptible database connection; | changeset | files |