| changeset 81358:c12ac3f5810b | |
|---|---|
| date: | 2021-05-12 23:15 +0200 |
| user: | Niels Nes <niels@cwi.nl> |
| branch: | Jul2021 |
| files: | |
| message: | merged |
| changeset 81359:a6b81aef0936 | |
| date: | 2021-05-13 08:03 +0200 |
| user: | Niels Nes <niels@cwi.nl> |
| branch: | Jul2021 |
| files: | sql/storage/store.c |
| message: | without active clients we need the store_manager too do the cleanup of pending changes. |