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 _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : dolfin@lists.launchpad.net Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
