Changeset 56744

Timestamp:
Oct 12, 2009, 4:40:04 PM (13 years ago)
Author:
Hartmut Kaiser
Message:

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

(No files)

Note: See TracChangeset for help on using the changeset viewer.