evazion 76c90cc0e4 Remove unused Pool methods: create_anonymous/options/id_to_name (#3206) ...

* Pool.id_to_name: never used.
* Pool.create_anonymous: never used.
* Pool.options: unused since e7aff87.

2017-07-09 14:32:17 -05:00

9.7 KiB

Raw Blame History

View Raw