[CRIU] [PATCH 2/2] mount: parse devpts options

[Serge Hallyn]

Quoting Andrey Vagin (avagin at openvz.org):
> The newinstance options isn't shown in mountinfo. Currently it is
> detected in devpts_dump. It is added only for root mounts and it
> isn't added for bind-mounts. So mounts_equal(a, b, true) returns false
> for such mounts and criu doesn't understand that they should be
> bind-mounted.
> 
> Reported-by: Tycho Andersen <tycho.andersen at canonical.com>
> Cc: Serge Hallyn <serge.hallyn at ubuntu.com>
> Signed-off-by: Andrey Vagin <avagin at openvz.org>

And confirmed this obviates the need for the patch I sent yesterday.