Hi! I've sent out patches that replace 05/21 and 07/21. Since I'm on travel, I'm not sure I'll be able to incorporate them in a pull before the merge window though. /Thomas On 10/04/2018 10:24 PM, Daniel Vetter wrote: ... _______________________________________________ dri-devel mailing list dri-devel@xxxxxxxxxxxxxxxxxxxxx https://lists.freedesktop.org/mailman/listinfo/dri-devel