Hi Alain, On Sep 15, 2014, at 1:40 AM, Alain Miniussi <[email protected]> wrote:
> I have a few small pull request on the develop branch that have been pending > for a few days and was wondering what was the usual process/delay one can > expect. Is the pull request automatically notified to potential mergers ? > Should I file a ticket on the tracker ? No need for a ticket, a PR is fine. I’ve been unable to review them yet, sorry. I should probably have commented in the PR that it will take me a few more days before I’ll get a chance to do this. — Noel _______________________________________________ Boost-mpi mailing list [email protected] http://lists.boost.org/mailman/listinfo.cgi/boost-mpi
