diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2021-04-02 23:01:34 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2021-04-02 23:01:34 +0000 |
| commit | e614e8653eeb72095fdb5198a7217bb5bc3b0176 (patch) | |
| tree | febeb211e2578b29a81c92150cc573883214cf01 /maintenance/postgres | |
| parent | fc8944012a71530bc18904cd5c9a0081c355857d (diff) | |
| parent | ac7391c6eaea568503c0c8c4df8401f2cfe889d8 (diff) | |
| download | mediawikicore-e614e8653eeb72095fdb5198a7217bb5bc3b0176.tar.gz mediawikicore-e614e8653eeb72095fdb5198a7217bb5bc3b0176.zip | |
Merge "Drop unused patch-rc_cur_id-not-null.sql"
Diffstat (limited to 'maintenance/postgres')
| -rw-r--r-- | maintenance/postgres/archives/patch-rc_cur_id-not-null.sql | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/maintenance/postgres/archives/patch-rc_cur_id-not-null.sql b/maintenance/postgres/archives/patch-rc_cur_id-not-null.sql deleted file mode 100644 index 2ca7edbfb545..000000000000 --- a/maintenance/postgres/archives/patch-rc_cur_id-not-null.sql +++ /dev/null @@ -1 +0,0 @@ -ALTER TABLE recentchanges ALTER rc_cur_id DROP NOT NULL; |