This is just to say that 10 days passed, but in the meanwhile a new upstream release went out, so I'm packaging 0.8.8... and I'm having some more trouble than with 8.8.6. But I'll make it.
Pietro -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

