Subject: Re: [bug#27600] [PATCH] gnu: xorg-server: Fix CVE-2017-{10971, 10972}.
From: Leo Famulari <[email-masked]>
To: Kei Kebreau <[email-masked]>
Cc: [email-masked]
Date: Thu, 6 Jul 2017 23:53:19 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

On Thu, Jul 06, 2017 at 07:43:43PM -0400, Leo Famulari wrote:
> On Thu, Jul 06, 2017 at 03:28:07PM -0400, Kei Kebreau wrote:
> > * gnu/packages/xorg.scm (xorg-server)[source]: Add patches.
> > * gnu/packages/patches/xorg-CVE-2017-10971.patch,
> > gnu/packages/patches/xorg-CVE-2017-10972.patch: New files.
> > * gnu/local.mk (dist_patch_DATA): Add them.
> 
> Yikes, these bugs!
> 
> > ---
> >  gnu/local.mk                                   |   2 +
> >  gnu/packages/patches/xorg-CVE-2017-10971.patch | 153 +++++++++++++++++++++++++
> >  gnu/packages/patches/xorg-CVE-2017-10972.patch |  35 ++++++
> >  gnu/packages/xorg.scm                          |   5 +-
> >  4 files changed, 194 insertions(+), 1 deletion(-)
> >  create mode 100644 gnu/packages/patches/xorg-CVE-2017-10971.patch
> >  create mode 100644 gnu/packages/patches/xorg-CVE-2017-10972.patch
> 
> Please rename the patch files to include the name of the package
> (xorg-server), adjust the changes to local.mk accordingly, and please
> push!

I had some time so I made the adjustment and pushed on your behalf.
Thanks again!