dolfin team mailing list archive

[Patrick Farrell <patrick.farrell@xxxxxxxxxxxxxx>]

On 11/04/13 11:24, Corrado Maurini wrote:
> I sent a pull request on bitbucket.

Out of curiosity -- I made a pull request yesterday for dolfin,
which I "follow" on bitbucket. I didn't get any emails notifying
me of the pull request. Did anyone else? If not, how are you supposed
to know about incoming pull requests?

Patrick