Sorry, no match found for message-id 20120516063559.GH7131@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.