| Wed, 28 Jun 2023 12:16:02 +0200 | wenzelm | show only active builds; | changeset | files |
| Wed, 28 Jun 2023 12:13:46 +0200 | wenzelm | clarified output; | changeset | files |
| Wed, 28 Jun 2023 11:44:09 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 28 Jun 2023 11:35:02 +0200 | wenzelm | support for identified builds; | changeset | files |
| Wed, 28 Jun 2023 11:33:11 +0200 | wenzelm | clarified signature: more operations and options; | changeset | files |
| Tue, 27 Jun 2023 15:10:47 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 27 Jun 2023 14:50:48 +0200 | wenzelm | clarified signature; | changeset | files |
| Tue, 27 Jun 2023 11:39:02 +0200 | wenzelm | clarified signature; | changeset | files |
| Tue, 27 Jun 2023 11:17:52 +0200 | wenzelm | more robust close() after failed initialization; | changeset | files |
| Tue, 27 Jun 2023 10:24:32 +0200 | wenzelm | avoid repeated open_database_server: synchronized transaction_lock; | changeset | files |
| Tue, 27 Jun 2023 10:05:33 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 27 Jun 2023 09:55:44 +0200 | wenzelm | more robust: proper transaction_lock; | changeset | files |
| Tue, 27 Jun 2023 09:42:36 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 26 Jun 2023 23:20:32 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 26 Jun 2023 22:45:04 +0200 | wenzelm | tuned signature; | changeset | files |