tree 30b2c535211ee9b174eea0ffa326790dd8d7d77f
parent b979f0ae3f00acb2608ec986b7138e9b0e873742
author bansalvinayak <vinayakbansal@google.com> 1532718458 -0400
committer Xin <xingao267@users.noreply.github.com> 1532718458 -0400

Add a platform that uses any pool (#141)