[PATCH 1 of 2 V3] manifest: allow specifying the revlog filename

[Martin von Zweigbergk]

On Wed, Mar 1, 2017 at 4:37 PM, Durham Goode <durham at fb.com> wrote:
> # HG changeset patch
> # User Durham Goode <durham at fb.com>
> # Date 1488414957 28800
> #      Wed Mar 01 16:35:57 2017 -0800
> # Node ID 9c89185b63f574cad1d4009f6c9dd511a2cba986
> # Parent  0bb3089fe73527c64f1afc40b86ecb8dfe7fd7aa
> manifest: allow specifying the revlog filename

Queued patch 1/2, thanks.