diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2020-06-15 10:36:51 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2020-06-15 10:36:51 +0000 |
| commit | c2f7dd3cfc30dbdb753f7376fb481e28a21f5ea1 (patch) | |
| tree | 3fe36c81ffdde628b1b3eab6e78d055e173efae5 /docs | |
| parent | 4ee21b69f00d2b7845671885eacddbd71529dc1f (diff) | |
| parent | 966e085353c0b7059945189e5631ec8362fe66c4 (diff) | |
| download | mediawikicore-c2f7dd3cfc30dbdb753f7376fb481e28a21f5ea1.tar.gz mediawikicore-c2f7dd3cfc30dbdb753f7376fb481e28a21f5ea1.zip | |
Merge "TableCleanup: Make batch size and reporting interval configurable"
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions