On Thu, 2009-07-02 at 11:00 +0200, Florian Haas wrote: > I'm of course grateful for any comments, questions, and feedback about > this patch. Merged. http://git.fedorahosted.org/git/?p=cluster.git;a=commit;h=bd8dc44918a9ee71e3f8aa1c705eacd610a9b7de -- Lon