u wrote (08 Jun 2014 19:01:52 GMT) : > [de/docsummary 1bc297b] review patch by flapflap
> Please review and pull.
It's unclear to me if the "please pull" is meant for those who have
the commit bit, or to anyone else. I should probably silently assume
the latter, since the subject has no "pull" indication, but it would
be sad to miss good work :)