Spirit: merging from trunk

[SVN r72253]
This commit is contained in:
Hartmut Kaiser 2011-05-28 23:21:55 +00:00
parent 863f583587
commit b6134b17c4

@ -1 +1 @@
Subproject commit 18f556a4fef2ba07dba003b079b795ff3bffe58b
Subproject commit 73803fc2f7204db4e6b71b1b5c95900aa75876ea