Patch from Matthias Troyer. [SVN r26096]
@@ -1 +1 @@
-Subproject commit e7fd9b25ad8782556c53780f71b05450309c48aa
+Subproject commit 9bd719366016e773feb1b206d4e40c3b68f95f4d