diff options
| author | Christian Grothoff <christian@grothoff.org> | 2021-12-26 13:05:39 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2021-12-26 13:05:39 +0100 |
| commit | 070f442a1182c7c2a09c42e94ce202509ade1b77 (patch) | |
| tree | 980a953edd7e56b2624f1757a4b85c02d6bd613b /AUTHORS | |
| parent | e7d4183d1c82e600aa69fa48145115f4abc02aac (diff) | |
resolve #7124: ensure -s also deletes work_shards
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions