HomePhabricator

Merge "Add flaggedrevs.fr_user index"

Authored by jenkins-bot on Sep 20 2017, 7:31 AM.

Description

Merge "Add flaggedrevs.fr_user index"

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rEFLR201146a23b1c: Merge "Add flaggedrevs.fr_user index" (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Sep 20 2017, 7:31 AM

Merged Changes

CommitAuthorDetailsCommitted
17e2df8bc6caReedy
Add flaggedrevs.fr_user index 
Aug 2 2017