Commit 85a6d5f49ca34d1ceb8ec4c4e43c5ce60d321fa3

Carlos Martín Nieto 2014-12-10T18:49:01

push: reword comment on finish() This should make it clearer what the return value implies.