Subject: Re: bug#26887: [PATCH 01/11] gnu: libdrm: Update to 2.4.80.

From: Kei Kebreau <[email-masked]>
Date: Thu, 11 May 2017 11:58:11 -0400

Kei Kebreau <[email-masked]> writes:

These patches are intended for gnome-updates. The first three are merged
from master. Also, the mutter patch is not functional yet, as it
probably requires some updated package from master.