bug#26758: [PATCH] gnu: gnome-shell: Patch CVE-2017-8288.

[rennes]

Hello Leo,

> Thanks! Do we need to graft it, or can we apply the patch directly to
> gnome-shell? What would need to be rebuilt if we applied the patch
> directly?
I did both tests: the first apply the patch directly, lasted more than  
twelve hours; the second to create the procedure gnome-shell/fixed and  
it did not take more than 10 minutes.

I read about the subject,
https://www.gnu.org/software/guix/manual/html_node/Security-Updates.html

but I still do not understand the way to determine how much needs to be  
rebuilt!

HTH