-
Committer:
Tarmac
-
Author(s):
Matthias Brantner
-
Date:
2012-03-12 18:00:11 UTC
-
mfrom:
(10715.1.2 zorba)
-
Revision ID:
tarmac-20120312180011-xiv59palqea1pgew
Fixed bug #952829 (Nondeterministic annotation doesn't seem to be checked) Approved: Matthias Brantner, William Candillon