- changed status to resolved
Segmentation Fault
Issue #522
resolved
No description provided.
Comments (2)
-
-
Fixed in pull request #124 (probably :-) )
- Log in to comment
Fixed in https://bitbucket.org/krr/idp/commits/bb59b6dc35cdc2df99b5aab4baa42ddda10203f2