[Boost-mpi] process

Subject: [Boost-mpi] process
From: Alain Miniussi (alain.miniussi_at_[hidden])
Date: 2014-09-15 03:40:58

Hi,

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 ?

Thanks!

Alain