"Marco Bodrato" <bodrato at mail.dm.unipi.it> writes: I unified definitions... Correctly, I hope! LGTM, thanks! -- Torbjörn Please encrypt, key id 0xC8601622