Remove duplicate database index (!10568) · Merge requests · Warren Gifford / sourcegraph · GitLab

Warren Gifford requested to merge remove-duplicate-index into master May 11, 2020

Created by: mrnugget

This index is covered by a multi-column index on patches.

Fixes #9580 (closed).