diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2021-04-30 00:39:52 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2021-04-30 00:39:52 +0000 |
| commit | 39d2f55d0496691272005e95c49c18bd6cb4d9ca (patch) | |
| tree | 89fc4481e6f60ff40bc50caddb2f8cc250604e94 /maintenance/sqlite/archives/patch-revision-rename-index.sql | |
| parent | e3c380464c6cc0a24156deb5b21f2bf0cb221abe (diff) | |
| parent | 168ac52a58449fda86f529773c583ed8e7a7e6d8 (diff) | |
| download | mediawikicore-39d2f55d0496691272005e95c49c18bd6cb4d9ca.tar.gz mediawikicore-39d2f55d0496691272005e95c49c18bd6cb4d9ca.zip | |
Merge "Prepare for renaming `page_timestamp` revision index"
Diffstat (limited to 'maintenance/sqlite/archives/patch-revision-rename-index.sql')
0 files changed, 0 insertions, 0 deletions