Details
-
Bug
-
Resolution: Done
-
Not Evaluated
-
None
-
unversioned
-
59b27c173b5026063a3727b6609ad9630b56744c
Description
While the change is merged in Coin master, it is not taken into production yet. Could you please close the bug as soon as that happened to let others know?