Sorry, no match found for message-id 20120619222935.GF19341@gamma.logic.tuwien.ac.at

It may take a few minutes until a new message is available in the archive.

The archive is updated every 20 minutes.

You can try searching GMANE.