tree 9f437217354bcfbd9df1c06e6566c6a04a34c70b
parent 44859d02672be7509b8fe9b2d444aa239a849af5
parent 6ad6dbefe79196f0d7bb717fa9279837083e9113
author Conley Owens <cco3@android.com> 1428515996 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1428515998 +0000

Merge "forall: use a generator to map the Pool"