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 a0286a58c7
commit f85a3db133