Details
-
Bug
-
Status: Closed
-
Minor
-
Resolution: Fixed
-
None
-
None
-
None
Description
Fixed bug pointed out by Mark Daring. Harmless in our case because never exercised, but should be fixed.
Fixed bug pointed out by Mark Daring. Harmless in our case because never exercised, but should be fixed.