On 2019-09-19 4:56 a.m., Ma, Le wrote: > Thanks Alex. BTW, merge requests (MRs) are enabled now for the drm repository, so it's probably best to use MRs from now on. -- Earthling Michel Dänzer | https://redhat.com Libre software enthusiast | Mesa and X developer