Spirit: merging bug fixes from trunk

[SVN r56745]
This commit is contained in:
Hartmut Kaiser 2009-10-12 16:45:26 +00:00
parent 9beb242e59
commit 60ee596094

@ -1 +1 @@
Subproject commit 4690f0afef620fb8bfbd0e2f436293afb7ceb26e
Subproject commit 88239ed2ec8ef20e19d463ec5723b92c40c4d08e