Hi Daniel, On Thu, 23 May 2019 15:11:15 +0200 Daniel Vetter <daniel.vetter@xxxxxxxx> wrote: > > That commit is on top of drm-misc, and somehow the .txt version has > been resurrect in drm-misc-next (so needs to be re-deleted too). My mistake, the conflict went away (due to the back merge) so my scripts assumed the file no longer needed deleting. I didn't actually check to see if it was still there. -- Cheers, Stephen Rothwell
Attachment:
pgpCYT6j0fKG5.pgp
Description: OpenPGP digital signature
_______________________________________________ dri-devel mailing list dri-devel@xxxxxxxxxxxxxxxxxxxxx https://lists.freedesktop.org/mailman/listinfo/dri-devel
