[pkg-cinnamon] Bug#738828: Cleaning up

[Margarita Manterola]

retitle 738828 CVE-2014-1949: cinnamon-screensaver can be bypassed by pressing Menu key
reassign 738828 libgtk-3-0 3.10.7-1
fixed 738828 libgtk-3-0 3.11.8-1
thanks

So, as mentioned in the previous update, this bug only triggers with GTK 3.10,
and is already fixed in 3.11.8. The amount of differences between one and the
other are quite a lot, and therefore finding the exact fix (needed for Ubuntu
Trusty, not for Debian Jessie) is not simple.

But since this bug can be fixed by changing the GTK version, and 3.12 is already
available in Debian, I'm reassigning as closing here.

-- 
Regards,
Marga