On Wed, 14 Nov 2018, pr-tracker-bot@xxxxxxxxxx wrote: > The pull request you sent on Sun, 11 Nov 2018 04:43:57 +1000: > >> git://anongit.freedesktop.org/drm/drm tags/drm-fixes-2018-11-11 > > has been merged into torvalds/linux.git: > https://git.kernel.org/torvalds/c/20ef6d06ef9a31a33516637a80521b9fc7f1f849 > > Thank you! Hey, this is pretty nice! Thanks! For whatever reason, two copies were sent, though: http://mid.mail-archive.com/20181110193502.26034.53729.pr-tracker-bot-20ef6d06ef9a31a33516637a80521b9fc7f1f849@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx http://mid.mail-archive.com/20181114005545.8329.81866.pr-tracker-bot@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx BR, Jani. -- Jani Nikula, Intel Open Source Graphics Center _______________________________________________ dri-devel mailing list dri-devel@xxxxxxxxxxxxxxxxxxxxx https://lists.freedesktop.org/mailman/listinfo/dri-devel