Changeset 72589

Timestamp:

Jun 14, 2011, 5:10:02 PM (11 years ago)

Author:

Hartmut Kaiser

Message:

Merged revision(s) 72586, 72588 from trunk:
Spirit: fixing Karma compilation errors with gcc
........
Spirit: refinement of latest bug fix
........

authorized by rene

(No files)