Details
-
Bug
-
Status: Closed
-
Major
-
Resolution: Fixed
-
None
-
None
-
None
Description
just pointing this out, am sure its better off emitted through the logging interface
---------------- Imported from GitHub ----------------
Url: https://github.com/julianhyde/optiq/pull/3
Created by: cwensel
Labels:
Created at: Sun Oct 21 21:14:02 CEST 2012
State: closed