Andrew Hutchings 5528eabb2e Make pool manager meet 1.2 API spec
Change-Id: I8383272a4d289f8c9979793d6014a2a1bf73d88e
2012-12-18 20:42:26 +00:00
..