Sia per Ubuntu che per Debian ho già verificato la presenza di pacchetti che correggono il bug, installabili mediante procedura di upgrade.
--
distinti saluti,
------------Matteo Ragni
------------<aka: nirvana1289> # reply to: nirvana1289@xxxxxxxxgpg --keyserver pgp.mit.edu --recv-key 0x0141EDBD238098A0