On 31 January 2018 at 12:04, Gurchetan Singh <gurchetansingh at chromium.org> wrote: > Any plans to merge this? This fixes Chrome not starting with Virgl. Oops pushed now. Dave.