Spirit: merging from trunk upto rev. 61489

[SVN r63640]
This commit is contained in:
Hartmut Kaiser
2010-07-04 22:38:38 +00:00
parent 87f0baff4b
commit b9dfc8389d