-- CreateIndex
CREATE INDEX "MantisIssue_reporter_username_idx" ON "MantisIssue"("reporter_username");

-- CreateIndex
CREATE INDEX "MantisIssue_status_idx" ON "MantisIssue"("status");

-- CreateIndex
CREATE INDEX "MantisIssue_priority_idx" ON "MantisIssue"("priority");

-- CreateIndex
CREATE INDEX "MantisIssue_severity_idx" ON "MantisIssue"("severity");
