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