On Wed, 14 Nov 2018, pr-tracker-...@kernel.org 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:

20181110193502.26034.53729.pr-tracker-bot-20ef6d06ef9a31a33516637a80521b9fc7f1f849@pdx-korg-gitolite-1.ci.codeaurora.org">http://mid.mail-archive.com/20181110193502.26034.53729.pr-tracker-bot-20ef6d06ef9a31a33516637a80521b9fc7f1f849@pdx-korg-gitolite-1.ci.codeaurora.org
20181114005545.8329.81866.pr-tracker-bot@pdx-korg-gitolite-1.ci.codeaurora.org">http://mid.mail-archive.com/20181114005545.8329.81866.pr-tracker-bot@pdx-korg-gitolite-1.ci.codeaurora.org


BR,
Jani.

-- 
Jani Nikula, Intel Open Source Graphics Center
_______________________________________________
dri-devel mailing list
dri-devel@lists.freedesktop.org
https://lists.freedesktop.org/mailman/listinfo/dri-devel

Reply via email to