On Sun, 28 Feb 2010 00:47:01 +0100 (CET) Carl Eugen Hoyos <cehoyos at rainbow.studorg.tuwien.ac.at> wrote: > Attached patch silences a gcc warning. Nobody commented on this, i'd say is safe to commit, but i'm in no way authoritative in this matter. Attila Kinali