Details
-
Bug
-
Status: Resolved
-
Major
-
Resolution: Fixed
-
0.8.0
-
None
-
None
Description
It would be good if we change the get API in Pool to use Option.
It would be good if we change the get API in Pool to use Option.