On 06/26/2012 10:41 PM, Christian PERRIER wrote: > Ivo, Luk, Steve, any objection. Not really an objection, but I think it would be good to get rid of the Debian revision numbers in the symbols file (probaby lintian would complain about it too). Cheers Luk