| Fri, 16 Jun 2023 14:20:18 +0200 | wenzelm | proper support for SQLite: avoid conflicts on transaction_lock; | changeset | files |
| Fri, 16 Jun 2023 14:01:30 +0200 | wenzelm | minor performance tuning: avoid external process; | changeset | files |
| Thu, 15 Jun 2023 22:09:56 +0200 | wenzelm | clarified signature; | changeset | files |