tree a1d64d019c9ee9bccac74152ad24cf4b490dceec
parent cab46fecfd9833160c21544cc6eef5fd0c271fd4
author Natalie Weizenbaum <nweiz@google.com> 1487279441 -0800
committer GitHub <noreply@github.com> 1487279441 -0800

Add a Pool.done getter. (#5)