HomePhabricator

Merge "make rev_actor_timestamp index cover the rev_id field."

Authored by jenkins-bot on Jun 3 2020, 11:04 AM.

Description

Merge "make rev_actor_timestamp index cover the rev_id field."

Event Timeline

Merged Changes

CommitAuthorDetailsCommitted
fe8b5fa79cfedaniel
make rev_actor_timestamp index cover the rev_id field. 
Jun 3 2020