Index: new/config/tools/xml/cluster.rng.in.head
===================================================================
---- new.orig/config/tools/xml/cluster.rng.in.head 2011-12-13 12:55:22.000000000 +0100
-+++ new/config/tools/xml/cluster.rng.in.head 2011-12-13 12:56:30.000000000 +0100
-@@ -988,6 +988,9 @@
+--- new.orig/config/tools/xml/cluster.rng.in.head 2012-06-13 15:50:21.000000000 +0200
++++ new/config/tools/xml/cluster.rng.in.head 2012-06-13 15:59:27.000000000 +0200
+@@ -997,6 +997,9 @@
<zeroOrMore>
<ref name="VM"/>
</zeroOrMore>