Bug#617310: gnome-power-manager restores wrong brightness

[Pedro Martínez Juliá]

Package: gnome-power-manager
Version: 2.32.0-2
Severity: important

After "gnome-power-manager" dims the screen it restores to a wrong brightness 
level because it floors its %->discrete calculation instead of rounding it. 
I've attached a patch for this and I've submitted it upstream.

-- 
Pedro Martínez Juliá
Department of Communication and Information Engineering
Faculty of Computer Science
University of Murcia
Email: pedromj at um.es
---------------------------------------------------------
*** Entia non sunt multiplicanda praeter necessitatem ***