Spirit: merging bug fix related to handling of optionals from trunk

[SVN r56744]
This commit is contained in:
Hartmut Kaiser 2009-10-12 16:40:04 +00:00
parent 481a3747a2
commit 9beb242e59

@ -1 +1 @@
Subproject commit fffadebf805344f0e1c217cda1740f12720c820a
Subproject commit 4690f0afef620fb8bfbd0e2f436293afb7ceb26e