![]() |
Boost-MPI : |
Subject: Re: [Boost-mpi] [EXTERNAL] process
From: Belcourt, Kenneth (kbelco_at_[hidden])
Date: 2014-09-15 08:58:22
Hi Alain,
On Sep 15, 2014, at 1:40 AM, Alain Miniussi <alain.miniussi_at_oca.eu> 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. Ive 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 Ill get a chance to do this.
Noel
Boost-Commit list run by troyer at boostpro.com