[PATCH] manifest: remove unused property _oldmanifest

[Augie Fackler]

On Mon, May 08, 2017 at 11:22:58AM -0700, Martin von Zweigbergk via Mercurial-devel wrote:
> # HG changeset patch
> # User Martin von Zweigbergk <martinvonz at google.com>
> # Date 1494261561 25200
> #      Mon May 08 09:39:21 2017 -0700
> # Node ID f7920a409fb0516b7dc48404537b1fd24cf8e23e
> # Parent  8f1a2b848b52ea7bf3fe2404e3b62924c7aae93f
> manifest: remove unused property _oldmanifest

queued, thanks