| Tue, 14 Mar 2023 18:57:34 +0100 | wenzelm | removed redundant State.workers: directly maintained within the database, using with SQL update; | changeset | files |
| Tue, 14 Mar 2023 18:43:32 +0100 | wenzelm | more thorough cleanup; | changeset | files |
| Tue, 14 Mar 2023 18:29:07 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 14 Mar 2023 17:34:38 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 14 Mar 2023 17:09:52 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 14 Mar 2023 17:05:49 +0100 | wenzelm | more thorough synchronization of internal "_state" vs. external "_database"; | changeset | files |
| Tue, 14 Mar 2023 11:14:50 +0100 | wenzelm | more database content; | changeset | files |