| changeset 82226:8788a082bb23 | |
|---|---|
| date: | 2021-07-17 14:18 +0200 |
| user: | Niels Nes <niels@cwi.nl> |
| branch: | Jul2021 |
| files: | |
| message: | merged |
| changeset 82227:09eefa677558 | |
| date: | 2021-07-17 15:15 +0200 |
| user: | Niels Nes <niels@cwi.nl> |
| branch: | Jul2021 |
| files: | gdk/gdk_logger.c |
| message: | on startup mark deleted bats as deleted by first transaction. |