[PATCH] drm/edid: Quirk Vive Pro VR headset non-desktop.

[Daniel Stone]

On 29 May 2018 at 12:52, Lubosz Sarnecki <lubosz.sarnecki at collabora.com> wrote:
> This adds the Vive Pro's EDID information and
> sets EDID_QUIRK_NON_DESKTOP.

Trivially:
Reviewed-by: Daniel Stone <daniels at collabora.com>